X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=ptset.ml;h=584ea0aef5a310b010230a8fbbab79550194001b;hb=cf6d366b25132eea7b0f1966c11d034d748af0fa;hp=4fc92d6f053cbb168771565af6d8c7cb4c86f0c5;hpb=04639fe524ee20f7f84c8b08387312d714c9bd56;p=SXSI%2Fxpathcomp.git

diff --git a/ptset.ml b/ptset.ml
index 4fc92d6..584ea0a 100644
--- a/ptset.ml
+++ b/ptset.ml
@@ -21,7 +21,7 @@ sig
   val node : t -> data
 end
 
-module Make ( H : Hcons.S ) : S with type elt = H.t =
+module Make ( H : Hcons.SA ) : S with type elt = H.t =
 struct
   type elt = H.t
   type 'a node =