X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tag.ml;h=c692e980970d69b43c598c1f2f3754e44a8aa552;hb=df5fdb22632be887ecd9f5c46a014e7e970148a2;hp=139ff917f7b68b6a6b7d8c19cd97fe8da39633e9;hpb=cad5e2e2831477cba1f6211c57b9a4cc5b58bd55;p=SXSI%2Fxpathcomp.git

diff --git a/tag.ml b/tag.ml
index 139ff91..c692e98 100644
--- a/tag.ml
+++ b/tag.ml
@@ -16,6 +16,7 @@ external register_tag : pool -> string -> t = "caml_xml_tree_register_tag"
 external tag_name : pool -> t -> string = "caml_xml_tree_get_tag_name"
 
 let nullt = null_tag ()   
+let dummy = nullt
 (* Defined in XMLTree.cpp *)
 let document_node = 0
 let attribute = 1