nit

markusdemedeiros · markusdemedeiros · commit 23e1dfc72261 · 2025-06-25T15:58:20.000-04:00
diff --git a/src/Iris/Algebra/HeapView.lean b/src/Iris/Algebra/HeapView.lean
@@ -10,7 +10,7 @@ import Iris.Algebra.DFrac
 
 open Iris
 
-namespace heap_view
+section heap_view
 
 variable (F K V : Type _) (H : Type _ → Type _) [DFractional F] [∀ T, Heap (H T) K T] [CMRA V]
 
