diff --git a/tests/lean/parser1.lean b/tests/lean/parser1.lean
index 804d2366dc..0ec070a9df 100644
--- a/tests/lean/parser1.lean
+++ b/tests/lean/parser1.lean
@@ -137,6 +137,7 @@ def run_frontend (input : string) : except_t string io unit := do
   let stx := stx.update_leading input,
   io.println "result:",
   io.println (to_string stx)-/
+#exit
 
 -- slowly progressing...
 set_option profiler true