chore: fix update_alives_statements.py (#332)

opencompl · May 23, 2024 · e74364d · e74364d
1 parent 62d21fe
commit e74364d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/SSA/Projects/InstCombine/update_alive_statements.py b/SSA/Projects/InstCombine/update_alive_statements.py
@@ -81,7 +81,7 @@ def getStatement(preamble: List[str], id : int, proof: List[str]) -> str:
         return ""
 
     error = x.stdout.decode("utf-8")
-    msg = re.sub(".*AliveTest_[0-9]+.lean:[0-9]+:[0-9]+-[0-9]+:[0-9]+: ", "", error, flags=re.DOTALL)
+    msg = re.sub(".*AliveTest_[0-9]+.lean:[0-9]+:[0-9]+: ", "", error, flags=re.DOTALL)
     msg = re.sub("\nerror: Lean.*", "", msg, flags=re.DOTALL)
     msg = "    " + re.sub("\n", "\n    ", msg, flags=re.DOTALL)