Commit c5b83d2a authored by Martin Clochard's avatar Martin Clochard

parser: was rejected by last version of Menhir

parent 03bcdcbb
......@@ -177,7 +177,8 @@ end
(* Theories, modules, namespaces *)
open_file:
| (* epsilon *) { Incremental.open_file }
(* Dummy token. Menhir does not accept epsilon. *)
| EOF { Incremental.open_file }
logic_file:
| theory* EOF { Incremental.close_file () }
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment