diff --git a/library/init/lean/ir/parser.lean b/library/init/lean/ir/parser.lean
index b338efa1e4..3b7ea4dc10 100644
--- a/library/init/lean/ir/parser.lean
+++ b/library/init/lean/ir/parser.lean
@@ -126,5 +126,3 @@ def parse_instr : parser instr :=
 
 end ir
 end lean
-
-#exit