From c24fa269467c770165e2696681617d726409d40f Mon Sep 17 00:00:00 2001
From: Siddharth <siddu.druid@gmail.com>
Date: Wed, 25 Sep 2024 21:13:30 -0500
Subject: [PATCH] Update src/Init/Data/BitVec/Bitblast.lean

Co-authored-by: Tobias Grosser <github@grosser.es>
---
 src/Init/Data/BitVec/Bitblast.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Init/Data/BitVec/Bitblast.lean b/src/Init/Data/BitVec/Bitblast.lean
index 4df79c838a49..b4d4abdcb571 100644
--- 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