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

diff --git a/src/run.ml b/src/run.ml
index c021dc2..fb9f81d 100644
--- a/src/run.ml
+++ b/src/run.ml
@@ -364,8 +364,9 @@ module Make (T : Tree.S) =
       run.td_cache <- Cache.N6.create dummy_set;
       run.bu_cache <- Cache.N6.create dummy_set;
     done;
+    IFHTML((run.sat <- List.tl run.sat), ());
     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 =