X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/b21491def4a9ec982a4de1525e9bc8f43c9da920..53043cda16a4efd64705d7fc5ca188f67c92c84f:/src/ast.sml

diff --git a/src/ast.sml b/src/ast.sml
index d4c5727..caa7e9d 100644
--- a/src/ast.sml
+++ b/src/ast.sml
@@ -99,6 +99,7 @@ datatype decl' =
 	 DExternType of string
        | DExternVal of string * typ
        | DVal of string * typ option * exp
+       | DEnv of string * typ option * exp
        | DContext of string
 type decl = decl' * string option * position