X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/aa56e112996b3650e8ac343831322d2a9ab0de54..167cffff3b3a976d4bf454808d3054fdb323b1a1:/src/defaults.sig

diff --git a/src/defaults.sig b/src/defaults.sig
index c380705..7dbe773 100644
--- 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