chore: terminate AliveStatements.lean with newline (#329)

opencompl · May 22, 2024 · e23346c · e23346c
1 parent cda4c7b
commit e23346c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/SSA/Projects/InstCombine/AliveStatements.lean b/SSA/Projects/InstCombine/AliveStatements.lean
@@ -837,4 +837,4 @@ theorem bitvec_InstCombineShift__582 :
   simp_alive_ops
   simp_alive_case_bash
   try alive_auto
-  all_goals sorry
+  all_goals sorry
diff --git a/SSA/Projects/InstCombine/update_alive_statements.py b/SSA/Projects/InstCombine/update_alive_statements.py
@@ -111,6 +111,7 @@ def writeOutput(preamble, proofs, filename):
         f.write("".join(preamble))
         for proof in proofs:
             f.write("".join(proof))
+        f.write("\n")
 
 
 if __name__ == "__main__":