Fix the build script.

[tatoo.git] / src / utils / finiteCofinite.ml

diff --git a/src/utils/finiteCofinite.ml b/src/utils/finiteCofinite.ml
index 8fcf33d..2bfe70c 100644 (file)
--- 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