X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/b21491def4a9ec982a4de1525e9bc8f43c9da920..9508dec7476457717d3606f868783e90ebc2d653:/src/ast.sml?pf=hcoop

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