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

diff --git a/src/utils/ptset.ml b/src/utils/ptset.ml
index ee0370a..68876d4 100644
--- a/src/utils/ptset.ml
+++ b/src/utils/ptset.ml
@@ -15,7 +15,7 @@
 (***********************************************************************)
 
 (*
-  Time-stamp: <Last modified on 2013-01-30 19:07:53 CET by Kim Nguyen>
+  Time-stamp: <Last modified on 2013-03-05 00:37:22 CET by Kim Nguyen>
 *)
 
 (* Modified by Kim Nguyen *)
@@ -52,7 +52,7 @@ struct
       | Branch(b1,i1,l1,r1), Branch(b2,i2,l2,r2) ->
           b1 == b2 && i1 == i2 && (Node.equal l1 l2) && (Node.equal r1 r2)
 
-      | _ -> false
+      | (Empty|Leaf _|Branch _), _  -> false
 
     let hash = function
     | Empty -> 0
@@ -84,8 +84,9 @@ struct
   let singleton k = leaf k
 
   let is_singleton n =
-    match Node.node n with Leaf _ -> true
-    | _ -> false
+    match Node.node n with
+      | Leaf _ -> true
+      | Branch _ | Empty -> false
 
   let mem (k:elt) n =
     let kid = Uid.to_int (H.uid k) in