X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/629a34f64f780c03d049d20057acc9a487162272..095de39e1be653dcb6438d19c719bd7797e0772a:/src/ast.sml

diff --git a/src/ast.sml b/src/ast.sml
index efc2fb0..29d7cb2 100644
--- a/src/ast.sml
+++ b/src/ast.sml
@@ -95,8 +95,9 @@ datatype decl' =
 	 DExternType of string
        | DExternVal of string * typ
        | DVal of string * typ option * exp
+       | DContext of string
 type decl = decl' * string option * position
 
-type file = decl list * exp option
+type file = string option * decl list * exp option
 
 end