From 791c8ffadb7e65fc61d18e6ad8e497f1cfe46fb3 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= <kn@lri.fr>
Date: Wed, 22 Feb 2012 12:03:07 +0100
Subject: [PATCH] Add function to cast tags to integers.

---
 src/tag.ml  | 2 +-
 src/tag.mli | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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;
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
-- 
2.17.1