Remove the timestamp header in source files. This information is

[tatoo.git] / src / ata.ml

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