projects
/
SXSI
/
xpathcomp.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
bca508d
)
.
author
Kim Nguyễn
<kn@lri.fr>
Thu, 16 Feb 2012 07:48:49 +0000
(08:48 +0100)
committer
Kim Nguyễn
<kn@lri.fr>
Thu, 16 Feb 2012 07:48:49 +0000
(08:48 +0100)
src/tag.ml
patch
|
blob
|
history
diff --git
a/src/tag.ml
b/src/tag.ml
index
01d3788
..
ce1979c
100644
(file)
--- 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"