X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftag.mli;h=7e742c1c147e879ed6a1b8a774087e40f0b067eb;hb=791c8ffadb7e65fc61d18e6ad8e497f1cfe46fb3;hp=04254e05e32414fdd84781a877bb2cf6c67cc534;hpb=6bc104a1034ba2d526c44b853836e3b42dd0ab2c;p=SXSI%2Fxpathcomp.git

diff --git a/src/tag.mli b/src/tag.mli
index 04254e0..7e742c1 100644
--- a/src/tag.mli
+++ b/src/tag.mli
@@ -6,7 +6,7 @@ type operations = {
   translate : t -> t
 }
 
-
+external  to_int : t -> int = "%identity"
 val document_node : t
 val attribute : t
 val pcdata : t