Commit 4eabbd67 authored by Sylvain Dailler's avatar Sylvain Dailler

Update ce parser to accept empty model.

parent 3d58982b
......@@ -50,6 +50,7 @@
output:
| EOF { Wstdlib.Mstr.empty }
| LPAREN MODEL RPAREN { Wstdlib.Mstr.empty }
| LPAREN MODEL list_decls RPAREN { $3 }
list_decls:
......
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