From 4034b00ebb92bfda274b150869ff6d87a452ee75 Mon Sep 17 00:00:00 2001
From: Viktor Fukala <5254810+vfukala@users.noreply.github.com>
Date: Sun, 11 Aug 2024 21:12:24 +0100
Subject: [PATCH] Properly close section in recent files

---
 .../src/LiveVerifExamples/failing_sepapps_initialization.v      | 2 ++
 LiveVerif/src/LiveVerifExamples/missing_simplification.v        | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/LiveVerif/src/LiveVerifExamples/failing_sepapps_initialization.v b/LiveVerif/src/LiveVerifExamples/failing_sepapps_initialization.v
index 51542624e..824c74a6f 100644
--- 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
index 24c5a307a..ccbc8d6d4 100644
--- 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 .**/ //.