X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Futils%2FfiniteCofinite.ml;h=2bfe70c63e703721acf98efad34afdb4558d9d95;hp=8fcf33d4e345bf24d75c53b3cb5908e96c4e4547;hb=03b6a364e7240ca827585e7baff225a0aaa33bc6;hpb=a3d6ecbcea379fa51785848a5b8b53bca4e4bdd2

diff --git a/src/utils/finiteCofinite.ml b/src/utils/finiteCofinite.ml
index 8fcf33d..2bfe70c 100644
--- a/src/utils/finiteCofinite.ml
+++ b/src/utils/finiteCofinite.ml
@@ -14,15 +14,15 @@
 (***********************************************************************)
 
 (*
-  Time-stamp: <Last modified on 2013-03-05 00:35:26 CET by Kim Nguyen>
+  Time-stamp: <Last modified on 2013-03-05 01:50:21 CET by Kim Nguyen>
 *)
 
 INCLUDE "utils.ml"
 
-include Sigs.FINITECOFINITE
+include FiniteCofinite_sig
 
 module type HConsBuilder =
-  functor (H : Sigs.AUX.HashedType) -> Hcons.S with type data = H.t
+  functor (H : Common_sig.HashedType) -> Hcons.S with type data = H.t
 
 module Builder (HCB : HConsBuilder) (E : Ptset.S) :
   S with type elt = E.elt and type set = E.t =
@@ -139,7 +139,7 @@ struct
     in
       first_cofinite E.empty l
 
-  let exn = Sigs.FINITECOFINITE.InfiniteSet
+  let exn = FiniteCofinite_sig.InfiniteSet
 
   let fold f t a = match t.node with
     | Finite s -> E.fold f s a