X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tag.ml;fp=tag.ml;h=c692e980970d69b43c598c1f2f3754e44a8aa552;hb=92fa1dfd894ed2903541d665bd40919ae154f285;hp=139ff917f7b68b6a6b7d8c19cd97fe8da39633e9;hpb=53691cf70378877961b99828f006399801ad4968;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