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

diff --git a/src/ata.ml b/src/ata.ml
index 19eb75d..df43392 100644
--- a/src/ata.ml
+++ b/src/ata.ml
@@ -13,10 +13,6 @@
 (*                                                                     *)
 (***********************************************************************)
 
-(*
-  Time-stamp: <Last modified on 2013-04-25 15:30:52 CEST by Kim Nguyen>
-*)
-
 INCLUDE "utils.ml"
 open Format
 
@@ -199,9 +195,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 +231,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 =