Finish file with newlines

opencompl · Oct 18, 2023 · a26f0a6 · a26f0a6
1 parent 84fd6cf
commit a26f0a6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/SSA/Projects/InstCombine/TacticAuto.lean b/SSA/Projects/InstCombine/TacticAuto.lean
@@ -4,4 +4,4 @@ macro "alive_auto": tactic =>
         skip; --placeholder, as `simp` will currently timeout sometimes
         try simp (config := {decide := false})
       )
-   )
+   )