Remove the 'round' counter from the hashconsed configurations.

[tatoo.git] / src / ata.ml

diff --git a/src/ata.ml b/src/ata.ml
index 19eb75d..f4cd6db 100644 (file)
--- a/src/ata.ml
+++ b/src/ata.ml
@@ -14,7 +14,7 @@
 (***********************************************************************)
 
 (*
-  Time-stamp: <Last modified on 2013-04-25 15:30:52 CEST by Kim Nguyen>
+  Time-stamp: <Last modified on 2013-04-25 16:20:41 CEST by Kim Nguyen>
 *)
 
 INCLUDE "utils.ml"
@@ -199,9 +199,6 @@ type config = {
   unsat : StateSet.t;
   todo : TransList.t;
   summary : node_summary;
-  (** optimization infos,
-      not taken into account during hashconsing *)
-  mutable round : int;
 }
 
 module Config = Hcons.Make(struct
@@ -238,12 +235,12 @@ let dummy2 = TransList.cons
 
 
 
-let dummy_config = Config.make { sat = StateSet.empty;
-                                 unsat = StateSet.empty;
-                                 todo = TransList.nil;
-                                 summary = dummy_summary;
-                                 round = 0;
-                               }
+let dummy_config =
+  Config.make { sat = StateSet.empty;
+                unsat = StateSet.empty;
+                todo = TransList.nil;
+                summary = dummy_summary
+              }
 
 
 let create s ss =