chore: fix grammar in comment

leanprover · Jul 31, 2024 · 4ac23a4 · 4ac23a4
1 parent 9906580
commit 4ac23a4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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