X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftag.ml;h=effe9c34a753bf74e55d11890e69a3d1602ef759;hb=e3c2e79416bdf3238e7a9a1528641304ede15847;hp=2cc1663a0bc089e6fbbf84bcf01dac9f5b9ad3f9;hpb=6df6ad6cf27e57872bd5891b49354acb0a5ce6a4;p=SXSI%2Fxpathcomp.git

diff --git a/src/tag.ml b/src/tag.ml
index 2cc1663..effe9c3 100644
--- a/src/tag.ml
+++ b/src/tag.ml
@@ -8,7 +8,7 @@
 
 
 type t = int
-
+external to_int : t -> int = "%identity"
 type operations = {
   tag :  string -> t;
   to_string : t ->string;