X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Frun.ml;h=53cecb4fd01ce2229caea09671952a95cd8bcd50;hp=e356128ee4cc58bec1f1ab82b4d8fa5fba272012;hb=a601c67e92d85f7096db693e4fde86950be598c6;hpb=aade6d9ba2e2b65e021de8a1c3a2d3874aa5742e

diff --git a/src/run.ml b/src/run.ml
index e356128..53cecb4 100644
--- a/src/run.ml
+++ b/src/run.ml
@@ -465,9 +465,9 @@ DEFINE AND_(t1,t2) =
           cache.(T.preorder tree node).NodeStatus.node.sat
     in
     loop (T.root tree);
-    List.rev (StateSet.fold
-                (fun q acc -> (q, Cache.N1.find res_mapper (q :> int))::acc)
-                (Ata.get_selecting_states auto) [])
+    (StateSet.fold_right
+       (fun q acc -> (q, Cache.N1.find res_mapper (q :> int))::acc)
+       (Ata.get_selecting_states auto) [])
 
   let prepare_run run list =
     let tree = run.tree in