Panic

leanprover · Sep 2, 2024 · 02e567b · 02e567b
1 parent 430b10a
commit 02e567b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Main.lean b/Main.lean
@@ -25,4 +25,4 @@ def main : IO Unit := do
       IO.println s!"Parsing {file}: failure {e}"
       count := count + 1
       success := false
-  if ! success then panic s!"{count} out of {files.length} tests failed"
+  if ! success then panic! s!"{count} out of {files.length} tests failed"