X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tag.ml;h=139ff917f7b68b6a6b7d8c19cd97fe8da39633e9;hb=9f227961ae2219728e4cdd56e4d4c4e7165e4306;hp=ec80df4e2a2278bc75db541c78c02a3dc6001966;hpb=be1caa5c46009c13241cc48ed34a36ee2936ef87;p=SXSI%2Fxpathcomp.git diff --git a/tag.ml b/tag.ml index ec80df4..139ff91 100644 --- a/tag.ml +++ b/tag.ml @@ -13,7 +13,7 @@ type pool external null_pool : unit -> pool = "caml_xml_tree_nullt" external null_tag : unit -> t = "caml_xml_tree_nullt" external register_tag : pool -> string -> t = "caml_xml_tree_register_tag" -external tag_name : pool -> t -> string = "caml_xml_tree_tag_name" +external tag_name : pool -> t -> string = "caml_xml_tree_get_tag_name" let nullt = null_tag () (* Defined in XMLTree.cpp *)