Fix remaining compilation bug caused by the refactoring of modules.

[tatoo.git] / src / eval.ml

diff --git a/src/eval.ml b/src/eval.ml
index 76d9153..5ebd1ec 100644 (file)
--- a/src/eval.ml
+++ b/src/eval.ml
@@ -14,7 +14,7 @@
 (***********************************************************************)
 
 (*
-  Time-stamp: <Last modified on 2013-04-04 21:16:27 CEST by Kim Nguyen>
+  Time-stamp: <Last modified on 2013-04-15 17:50:33 CEST by Kim Nguyen>
 *)
 
 INCLUDE "utils.ml"
@@ -132,7 +132,7 @@ END
     done;
     at_exit (fun () -> eprintf "INFO: %i iterations\n" !iter);
     let r = get_results auto tree node cache in
-    TRACE(Html.gen_trace (module T : Tree.Sig.S with type t = T.t) (tree));
+    TRACE(Html.gen_trace (module T : Tree.S with type t = T.t) (tree));
     r
 
 end