Added dynamic vector example

logsem · Feb 14, 2024 · 8c884ee · 8c884ee
1 parent 32a087e
commit 8c884ee
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/theories/ub_logic/dynamic_vec.v b/theories/ub_logic/dynamic_vec.v
@@ -298,6 +298,6 @@ Section faulty_allocator.
   Qed.
 
 
-
+End faulty_allocator.