Update src/Init/Data/BitVec/Bitblast.lean

Co-authored-by: Tobias Grosser <github@grosser.es>
opencompl · Sep 26, 2024 · c24fa26 · c24fa26
1 parent 81a9bca
commit c24fa26
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Init/Data/BitVec/Bitblast.lean b/src/Init/Data/BitVec/Bitblast.lean
@@ -525,7 +525,7 @@ structure DivModState (w : Nat) : Type where
 
 
 /-- `DivModArgs` contains the arguments to a `divrem` call which remain constant throughout
-execution -/
+execution. -/
 structure DivModArgs (w : Nat) where
   /-- the numerator (aka, dividend) -/
   n : BitVec w