From 3618ccc8ed4be9d60dc15284940ea1d5f43df9f2 Mon Sep 17 00:00:00 2001
From: Leonard Gerard <leonard.gerard@ens.fr>
Date: Tue, 19 Apr 2011 10:14:19 +0200
Subject: [PATCH] parser fix

---
 compiler/heptagon/parsing/hept_parser.mly | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/heptagon/parsing/hept_parser.mly b/compiler/heptagon/parsing/hept_parser.mly
index 0f410fc..2043221 100644
--- a/compiler/heptagon/parsing/hept_parser.mly
+++ b/compiler/heptagon/parsing/hept_parser.mly
@@ -112,7 +112,7 @@ optsnlist(S,x) :
   |/* empty */    { None }
   | P v=x         { Some(v) }
 
-program: o=list(opens) p=list(program_desc) { {p_modname = ""; p_opened = o; p_desc = p} }
+program: o=list(opens) p=list(program_desc) EOF { {p_modname = ""; p_opened = o; p_desc = p} }
 
 program_desc:
   | p=PRAGMA     { Ppragma p }