Merged from branch stable-succint-refactor

[SXSI/xpathcomp.git] / tagSet.ml

diff --git a/tagSet.ml b/tagSet.ml
index 8495f6c..503df80 100644 (file)
--- 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