Properly close section in recent files

mit-plv · Aug 11, 2024 · 4034b00 · 4034b00
1 parent 8891975
commit 4034b00
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/LiveVerif/src/LiveVerifExamples/failing_sepapps_initialization.v b/LiveVerif/src/LiveVerifExamples/failing_sepapps_initialization.v
@@ -48,3 +48,5 @@ Derive allocate_two SuchThat (fun_correct! allocate_two)
                                                                                 .**/
 }                                                                          /**).
 Abort.
+
+End LiveVerif. Comments .**/ //.
diff --git a/LiveVerif/src/LiveVerifExamples/missing_simplification.v b/LiveVerif/src/LiveVerifExamples/missing_simplification.v
@@ -62,3 +62,5 @@ Derive zero_out SuchThat (fun_correct! zero_out)
   steps.                                                                            .**/
 }                                                                              /**.
 Qed.
+
+End LiveVerif. Comments .**/ //.
-Original file line number
+Diff line change
@@ Expand Up / @@ -48,3 +48,5 @@ Derive allocate_two SuchThat (fun_correct! allocate_two) @@
                                                                                     .**/
     }                                                                          /**).
     Abort.
+    End LiveVerif. Comments .**/ //.