Actually fix the problems with negation.

[tatoo.git] / src / auto / eval.ml

diff --git a/src/auto/eval.ml b/src/auto/eval.ml
index f3b81cb..80df253 100644 (file)
--- a/src/auto/eval.ml
+++ b/src/auto/eval.ml
@@ -14,7 +14,7 @@
 (***********************************************************************)
 
 (*
-  Time-stamp: <Last modified on 2013-03-05 18:35:19 CET by Kim Nguyen>
+  Time-stamp: <Last modified on 2013-03-08 16:25:12 CET by Kim Nguyen>
 *)
 
 INCLUDE "utils.ml"
@@ -50,9 +50,9 @@ module Make (T : Tree.Sig.S) = struct
         let states0 = get cache tree node in
         let tag = T.tag tree node in
         let trans0 = Ata.get_trans auto auto.Ata.states tag in
-        let parent_states = (*if parent == T.nil then auto.Ata.top_states else*) get cache tree parent in
-        let fc_states = (*if fc == T.nil then auto.Ata.bottom_states else*) get cache tree fc in
-        let ns_states = (*if ns == T.nil then auto.Ata.bottom_states else*) get cache tree ns in
+        let parent_states = if parent == T.nil then auto.Ata.top_states else get cache tree parent in
+        let fc_states = if fc == T.nil then auto.Ata.bottom_states else get cache tree fc in
+        let ns_states = if ns == T.nil then auto.Ata.bottom_states else get cache tree ns in
         let is_root = parent == T.nil in
         let ctx0 =
           if is_left then