X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Futils%2Fptset.ml;h=f9bbd03eb6074f96d7d6148ec099b3b75ff47ebb;hb=7e8fa6a1fcb2f6ea9e3639e8a3f0d199836796a5;hp=68876d49ce22d7838444f0f5c2d9318fded79cad;hpb=a3d6ecbcea379fa51785848a5b8b53bca4e4bdd2;p=tatoo.git

diff --git a/src/utils/ptset.ml b/src/utils/ptset.ml
index 68876d4..f9bbd03 100644
--- a/src/utils/ptset.ml
+++ b/src/utils/ptset.ml
@@ -15,7 +15,7 @@
 (***********************************************************************)
 
 (*
-  Time-stamp: <Last modified on 2013-03-05 00:37:22 CET by Kim Nguyen>
+  Time-stamp: <Last modified on 2013-03-10 18:18:54 CET by Kim Nguyen>
 *)
 
 (* Modified by Kim Nguyen *)
@@ -26,10 +26,10 @@
 
 INCLUDE "utils.ml"
 
-include Sigs.PTSET
+include Ptset_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) (H : Hcons.Abstract) :
   S with type elt = H.t =
@@ -42,7 +42,7 @@ struct
     | Branch of int * int * 'a * 'a
 
   module rec Node : Hcons.S with type data = Data.t = HCB(Data)
-                            and Data : Sigs.AUX.HashedType with type t = Node.t set =
+                            and Data : Common_sig.HashedType with type t = Node.t set =
   struct
     type t =  Node.t set
     let equal x y =
@@ -353,9 +353,9 @@ struct
     | Branch (p1,m1,l1,r1), Branch (p2,m2,l2,r2) ->
         if m1 == m2 && p1 == p2 then
         intersect l1 l2 || intersect r1 r2
-        else if m1 < m2 && match_prefix p2 p1 m1 then
+        else if m1 > m2 && match_prefix p2 p1 m1 then
         intersect (if zero_bit p2 m1 then l1 else r1) s2
-        else if m1 > m2 && match_prefix p1 p2 m2 then
+        else if m1 < m2 && match_prefix p1 p2 m2 then
         intersect s1 (if zero_bit p1 m2 then l2 else r2)
         else
         false