Factor error message generation into a separate file; add '-tc' flag to domtool-client

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

diff --git a/src/main.sig b/src/main.sig
index 3b0c791..78bb42f 100644 (file)
--- a/src/main.sig
+++ b/src/main.sig
@@ -21,6 +21,7 @@
 signature MAIN = sig
 
     val init : unit -> unit
+    val setupUser : unit -> string
 
     val check : string -> Env.env * Ast.exp option
     val check' : Env.env -> string -> Env.env