From: Kim Nguyễn <kn@lri.fr>
Date: Thu, 16 Feb 2012 07:48:49 +0000 (+0100)
Subject: .
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;h=124b3b4e8f440f8c996263127336377c9456e090;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"