(***********************************************************************)
(*
- 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"
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