X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tag.ml;h=f0d90622bc4cc03c90e7643c0ec5331f69a97378;hb=b821684aac2e3114c2eb28188020d7a09b5de2a5;hp=b692df74b6d5deb77df3282bfbb4fdd03c1552b7;hpb=04630ec1de987f525c6594fcada17bb49ee79d6a;p=SXSI%2Fxpathcomp.git

diff --git a/tag.ml b/tag.ml
index b692df7..f0d9062 100644
--- a/tag.ml
+++ b/tag.ml
@@ -82,6 +82,7 @@ struct
   let pcdata = T.pcdata
   external tag : string -> t = "%identity"
   external clear_pool : unit -> unit = "%identity"
+  let init _ = ()
   let compare = String.compare
   let equal = (=)
   let print fmt s = Format.fprintf fmt "%s" s