diff options
Diffstat (limited to 'src/lacweb.grm')
-rw-r--r-- | src/lacweb.grm | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/lacweb.grm b/src/lacweb.grm index 17bc31cc..3b85df07 100644 --- a/src/lacweb.grm +++ b/src/lacweb.grm @@ -97,6 +97,8 @@ val s = ErrorMsg.spanOf %% file : decls (decls) + | SIG sgis ([(DSgn ("?", (SgnConst sgis, s (SIGleft, sgisright))), + s (SIGleft, sgisright))]) decls : ([]) | decl decls (decl :: decls) |