X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Frun.ml;fp=src%2Frun.ml;h=167e0af83f82f6131286d75a804cd6600a14d97d;hp=be8bbebcb30bd421fc4ecf1e76ca4ec520cb1872;hb=05af95627d36110724ec6a2a6439c4842a228d19;hpb=cfbd6490c8b03b820375f79ff4d009ed2d0252c3

diff --git a/src/run.ml b/src/run.ml
index be8bbeb..167e0af 100644
--- a/src/run.ml
+++ b/src/run.ml
@@ -236,11 +236,11 @@ struct
     let tree = run.tree in
     let auto = run.auto in
     let states_by_rank = Ata.get_states_by_rank auto in
-    let td_todo = states_by_rank.(i) in
+    let td_todo = snd states_by_rank.(i) in
     let bu_todo =
       if i == Array.length states_by_rank - 1 then StateSet.empty
       else
-        states_by_rank.(i+1)
+        snd (states_by_rank.(i+1))
     in
     let last_run = i >= Array.length states_by_rank - 2 in
     let rec loop_td_and_bu node parent parent_sat =