X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftag.ml;h=ce1979c08cf540ee2159815399e878b8b9a4839c;hb=124b3b4e8f440f8c996263127336377c9456e090;hp=01d3788e8aeacf7d423415707a7fbc1e443cfe69;hpb=bca508d0e826bc09f8975ba28720a867a828782f;p=SXSI%2Fxpathcomp.git

diff --git a/src/tag.ml b/src/tag.ml
index 01d3788..ce1979c 100644
--- a/src/tag.ml
+++ b/src/tag.ml
@@ -17,6 +17,11 @@ type operations = {
   translate : pool -> t -> t
 }
 
+let dummy_fun =function _ -> failwith "Tag.ml Uninitialized tag structure"
+
+
+
+
 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"