X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/24248d627b677abd0a21092f71c445b0934f2bdc..e9256fdc19decc6158d7c781828395e3b512216c:/src/domtool.grm

diff --git a/src/domtool.grm b/src/domtool.grm
index 13ee80b..bd2726c 100644
--- a/src/domtool.grm
+++ b/src/domtool.grm
@@ -79,7 +79,7 @@ open Ast
 
 %%
 
-file   : docOpt decls expOpt SEMIopt       (docOpt, decls, expOpt)
+file   : docOpt decls expOpt               (docOpt, decls, expOpt)
 
 decls  :                                   ([])
        | decl decls                        (decl :: decls)