X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tagSet.ml;h=503df80f1cdd98620c7fff1fe4db9c125861ce0f;hb=5b4679e20761058f1e04c123da52631c0dd265cc;hp=8495f6cc5e7c5e392471536ff616f4f00dbe72d5;hpb=d64e3a3a9ef6329caafdba848ef78427fce0d689;p=SXSI%2Fxpathcomp.git

diff --git a/tagSet.ml b/tagSet.ml
index 8495f6c..503df80 100644
--- a/tagSet.ml
+++ b/tagSet.ml
@@ -1,3 +1,9 @@
+(* module Ptset = 
+struct 
+  include Set.Make (struct type t = int let compare = (-) end)
+  let hash = Hashtbl.hash
+end
+  *)
 include FiniteCofinite.Make(Ptset)
 
 let tag t = singleton t