Refactor the tracing code, store the whole tree structure in a javascript array and...

[tatoo.git] / src / run.ml

diff --git a/src/run.ml b/src/run.ml
index f9ab76a..fb9f81d 100644 (file)
--- a/src/run.ml
+++ b/src/run.ml
@@ -364,6 +364,7 @@ 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_trace.gen_trace auto run.sat (module T : Tree.S with type t = T.t) tree ,());
     run