Saving environment variables across file executions

[hcoop/domtool2.git] / src / defaults.sig

diff --git a/src/defaults.sig b/src/defaults.sig
index c380705..7dbe773 100644 (file)
--- a/src/defaults.sig
+++ b/src/defaults.sig
@@ -21,6 +21,6 @@
 signature DEFAULTS = sig
     val registerDefault : string * Ast.typ * (unit -> Ast.exp) -> unit
 
-    val tInit : unit -> Ast.typ
+    val tInit : Ast.file -> Ast.typ
     val eInit : unit -> Env.env_vars
 end