X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fauto%2Fata.ml;h=13c4854ff6b59759dd5bc0bbe5d55594d3b7916f;hp=275d6577600c9eafa3fc4bb9245aaad908b01217;hb=deb657ae0bc7163a0108e9e63d10921416063294;hpb=249bd234500a64919cf00f4a59ab4927a068d689

diff --git a/src/auto/ata.ml b/src/auto/ata.ml
index 275d657..13c4854 100644
--- a/src/auto/ata.ml
+++ b/src/auto/ata.ml
@@ -14,7 +14,7 @@
 (***********************************************************************)
 
 (*
-  Time-stamp: <Last modified on 2013-03-05 18:25:03 CET by Kim Nguyen>
+  Time-stamp: <Last modified on 2013-03-08 16:24:41 CET by Kim Nguyen>
 *)
 
 INCLUDE "utils.ml"
@@ -272,10 +272,10 @@ let normalize_negations auto =
               (* create a new state and add it to the todo queue *)
               let nq = State.make () in
               auto.states <- StateSet.add nq auto.states;
-(*              if not (StateSet.mem q auto.bottom_states) then
+              if not (StateSet.mem q auto.bottom_states) then
                 auto.bottom_states <- StateSet.add nq auto.bottom_states;
               if not (StateSet.mem q auto.top_states) then
-                auto.top_states <- StateSet.add nq auto.top_states; *)
+                auto.top_states <- StateSet.add nq auto.top_states;
               Hashtbl.add memo_state (q, false) nq;
               Queue.add (q, false) todo; nq
         in
@@ -296,10 +296,10 @@ let normalize_negations auto =
           let nq = if b then q else
               let nq = State.make () in
               auto.states <- StateSet.add nq auto.states;
-(*              if not (StateSet.mem q auto.bottom_states) then
+              if not (StateSet.mem q auto.bottom_states) then
                 auto.bottom_states <- StateSet.add nq auto.bottom_states;
               if not (StateSet.mem q auto.top_states) then
-                auto.top_states <- StateSet.add nq auto.top_states; *)
+                auto.top_states <- StateSet.add nq auto.top_states;
               nq
           in
           Hashtbl.add memo_state key nq; nq