Refactor HTML Tracing to not depend on external files (style, javascript). Add a...

[tatoo.git] / src / run.ml

diff --git a/src/run.ml b/src/run.ml
index c021dc2..f9ab76a 100644 (file)
--- a/src/run.ml
+++ b/src/run.ml
@@ -365,7 +365,7 @@ module Make (T : Tree.S) =
       run.bu_cache <- Cache.N6.create dummy_set;
     done;
     pass := Ata.get_max_rank auto + 1;
-    IFHTML(Html.gen_trace auto run.sat (module T : Tree.S with type t = T.t) tree ,());
+    IFHTML(Html_trace.gen_trace auto run.sat (module T : Tree.S with type t = T.t) tree ,());
     run
 
   let full_eval auto tree nodes =