Refine the run to have a different set of states to satisfy while going td/bu.

[tatoo.git] / src / ata.ml

diff --git a/src/ata.ml b/src/ata.ml
index f55452e..565dfc8 100644 (file)
--- a/src/ata.ml
+++ b/src/ata.ml
@@ -490,7 +490,6 @@ let compute_rank auto =
   done;
   let by_rank = Hashtbl.create 17 in
   List.iter (fun (r,s) ->
-    let r = r/2 in
     let set = try Hashtbl.find by_rank r with Not_found -> StateSet.empty in
     Hashtbl.replace by_rank r (StateSet.union s set)) !rank_list;
   auto.ranked_states <-