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

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