X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Frun.ml;h=f9ab76ae642e5e652886c43084914e65b89020a3;hp=c021dc2ca8365e43b79f3ae9adff3a060d567bb4;hb=c6a89f390d6171f99d98f794427c1cce42fbf40c;hpb=fee64144491afab22d71f6e2de72a9f18f35cd55

diff --git a/src/run.ml b/src/run.ml
index c021dc2..f9ab76a 100644
--- 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 =