From 4ac23a4993c22523adecdd82e0b58c05521f4360 Mon Sep 17 00:00:00 2001 From: Tobias Grosser Date: Wed, 31 Jul 2024 22:19:19 +0200 Subject: [PATCH] chore: fix grammar in comment --- LeanSAT/BitBlast/BVExpr/Basic.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/LeanSAT/BitBlast/BVExpr/Basic.lean b/LeanSAT/BitBlast/BVExpr/Basic.lean index 04b392c9..9fb57528 100644 --- a/LeanSAT/BitBlast/BVExpr/Basic.lean +++ b/LeanSAT/BitBlast/BVExpr/Basic.lean @@ -18,7 +18,7 @@ structure BVBit where -/ var : Nat /-- - The which bit we take out of the BitVec variable by getLsb. + The bit that we take out of the BitVec variable by getLsb. -/ idx : Fin w deriving Hashable, DecidableEq, Repr