1 files changed, 6 insertions, 0 deletions
diff --git a/src/parser2.mly b/src/parser2.mly
index 59c7f1c4..c222bb39 100644
--- a/src/parser2.mly
+++ b/src/parser2.mly
@@ -178,7 +178,9 @@ let rec desugar_rchain chain s e =
 
 %start file
 %start typschm_eof
+%start exp_eof
 %type <Parse_ast.typschm> typschm_eof
+%type <Parse_ast.exp> exp_eof
 %type <Parse_ast.defs> file
 
 %%
@@ -690,6 +692,10 @@ lit:
   | Real
     { mk_lit (L_real $1) $startpos $endpos }
 
+exp_eof:
+  | exp Eof
+    { $1 }
+
 exp:
   | exp0
     { $1 }