Saving environment variables across file executions

[hcoop/domtool2.git] / src / domtool.grm

diff --git a/src/domtool.grm b/src/domtool.grm
index 0cc4fbd..13ee80b 100644 (file)
--- a/src/domtool.grm
+++ b/src/domtool.grm
@@ -79,7 +79,7 @@ open Ast
 
 %%
 
-file   : docOpt decls expOpt               (docOpt, decls, expOpt)
+file   : docOpt decls expOpt SEMIopt       (docOpt, decls, expOpt)
 
 decls  :                                   ([])
        | decl decls                        (decl :: decls)
@@ -96,8 +96,7 @@ docOpt :                                   (NONE)
        | DOC                               (SOME DOC)
 
 expOpt :                                   (NONE)
-       | exp                               (SOME (ELocal (exp, (ESkip, (expleft, expright))),
-                                                 (expleft, expright)))
+       | exp                               (SOME exp)
 
 
 exp    : apps                              (apps)