closing the namespaces

lfrenot · Nov 28, 2024 · 4a995a2 · 4a995a2
1 parent 4aeb81a
commit 4a995a2
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/sail_lean_backend/Sail/sail.lean b/src/sail_lean_backend/Sail/sail.lean
@@ -14,3 +14,6 @@ def truncate {w: Nat} (x: BitVec w) (w': Nat) : BitVec w' :=
 
 def truncateLSB {w: Nat} (x: BitVec w) (w': Nat) : BitVec w' :=
   x.extractLsb' 0 w'
+
+end BitVec
+end Sail