X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fata.ml;h=565dfc8bf1595a7c2a75315a239f5dde8cebdce7;hp=f55452ea0932ed469e10c9354b966f6daa92bcb4;hb=5f1d396f4a04c9a0c6bb3da4176fd47a4473d35d;hpb=45ca692d34ec370b542564a1ca195b205b1a3c6f

diff --git a/src/ata.ml b/src/ata.ml
index f55452e..565dfc8 100644
--- 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 <-