temp

[tatoo.git] / src / ata.ml

diff --git a/src/ata.ml b/src/ata.ml
index 8b51a08..01fa639 100644 (file)
--- a/src/ata.ml
+++ b/src/ata.ml
@@ -14,7 +14,7 @@
 (***********************************************************************)
 
 (*
-  Time-stamp: <Last modified on 2013-04-24 18:10:13 CEST by Kim Nguyen>
+  Time-stamp: <Last modified on 2013-04-24 23:14:46 CEST by Kim Nguyen>
 *)
 
 INCLUDE "utils.ml"
@@ -202,7 +202,6 @@ type config = {
   (** optimization infos,
       not taken into account during hashconsing *)
   mutable round : int;
-  mutable unstable_subtree : bool;
 }
 
 module Config = Hcons.Make(struct
@@ -244,7 +243,6 @@ let dummy_config = Config.make { sat = StateSet.empty;
                                  todo = TransList.nil;
                                  summary = dummy_summary;
                                  round = 0;
-                                 unstable_subtree = true;
                                }