X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Feval.ml;h=5ebd1ece52a6b524dc288213c74fc053976239b1;hp=76d9153fb969e915c04c927642fd92ad1805558c;hb=9efb3171eb9f70c92d7814a56684ef5f1eedf004;hpb=e381c2bd8da5a33c0fdb1e6cfa9c1800386eafed

diff --git a/src/eval.ml b/src/eval.ml
index 76d9153..5ebd1ec 100644
--- 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