From b320dcfef99778fc151db060413f0be5a7ecc3b7 Mon Sep 17 00:00:00 2001 From: L Date: Wed, 25 Sep 2024 20:11:46 -0700 Subject: [PATCH] doc: fix typo in `BitVec.mul` docstring (#5473) Seems this was copy-pasted from `BitVec.neg` --- src/Init/Data/BitVec/Basic.lean | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Init/Data/BitVec/Basic.lean b/src/Init/Data/BitVec/Basic.lean index 28edd333e7..37ae83c0e1 100644 --- a/src/Init/Data/BitVec/Basic.lean +++ b/src/Init/Data/BitVec/Basic.lean @@ -269,8 +269,8 @@ Return the absolute value of a signed bitvector. protected def abs (x : BitVec n) : BitVec n := if x.msb then .neg x else x /-- -Multiplication for bit vectors. This can be interpreted as either signed or unsigned negation -modulo `2^n`. +Multiplication for bit vectors. This can be interpreted as either signed or unsigned +multiplication modulo `2^n`. SMT-Lib name: `bvmul`. -/