X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fata.ml;h=f4cd6db9cbd9b2b707f1bbaad73f9f1a7f8110de;hp=19eb75d8c99d969d0afa710ca0f42c47a7954f5d;hb=e3474bb976d161aa5c42f3d42583bbe290bbfcc4;hpb=969febf12344a3fe3bf793a323b2e88f7b20ebae

diff --git a/src/ata.ml b/src/ata.ml
index 19eb75d..f4cd6db 100644
--- 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 =