Add fold_left/right functions to the set interface (iterate in

[tatoo.git] / src / run.ml

diff --git a/src/run.ml b/src/run.ml
index e356128..53cecb4 100644 (file)
--- 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);
           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
 
   let prepare_run run list =
     let tree = run.tree in