Fix regeneration of multi-file dependencies

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

diff --git a/src/main.sig b/src/main.sig
index 29f41b1..01edb0f 100644 (file)
--- a/src/main.sig
+++ b/src/main.sig
@@ -29,7 +29,7 @@ signature MAIN = sig
 
     val basis : unit -> Env.env
 
 
     val basis : unit -> Env.env
 

-    val reduce : Env.env -> string -> (Env.env * Ast.exp) option
+    val reduce : Env.env -> string -> Env.env * Ast.exp option

     val eval : Env.env -> Env.env_vars -> string -> Env.env * Env.env_vars
 
     val request : string -> unit
     val eval : Env.env -> Env.env_vars -> string -> Env.env * Env.env_vars
 
     val request : string -> unit