diff --git a/SSA/Projects/InstCombine/AliveStatements.lean b/SSA/Projects/InstCombine/AliveStatements.lean
index 88782215e..6334f0e68 100644
--- 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
\ No newline at end of file
+  all_goals sorry
diff --git a/SSA/Projects/InstCombine/update_alive_statements.py b/SSA/Projects/InstCombine/update_alive_statements.py
index bc8f52154..1dcc60dfe 100755
--- 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__":