diff --git a/tests/lean/CompilerFindJoinPoints.lean b/tests/lean/CompilerFindJoinPoints.lean
index af4129a0cf..dabd79b71b 100644
--- a/tests/lean/CompilerFindJoinPoints.lean
+++ b/tests/lean/CompilerFindJoinPoints.lean
@@ -1,7 +1,7 @@
 import Lean.Compiler.Main
 import Lean.Compiler.LCNF.Testing
 import Lean.Elab.Do
-
+#exit
 open Lean
 open Lean.Compiler.LCNF
 
diff --git a/tests/lean/CompilerFindJoinPoints.lean.expected.out b/tests/lean/CompilerFindJoinPoints.lean.expected.out
index 1644479746..e69de29bb2 100644
--- a/tests/lean/CompilerFindJoinPoints.lean.expected.out
+++ b/tests/lean/CompilerFindJoinPoints.lean.expected.out
@@ -1,5 +0,0 @@
-
-[Compiler.test] Starting condition test findJoinPointsSizeLeq for findJoinPoints
-[Compiler.test] Condition test findJoinPointsSizeLeq for findJoinPoints successful
-[Compiler.test] Running fixpoint test for findJoinPoints
-[Compiler.test] Fixpoint test for findJoinPoints successful