From: Kim Nguyễn <kn@lri.fr>
Date: Thu, 16 Feb 2012 01:46:18 +0000 (+0100)
Subject: Add variance indicator to type.
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;h=a4b9c7188c2169eddaeabe66a5706a4ec1b6872d;p=SXSI%2Fxpathcomp.git

Add variance indicator to type.
---

diff --git a/src/node.ml b/src/node.ml
index 78f0899..abf75a4 100644
--- a/src/node.ml
+++ b/src/node.ml
@@ -1,4 +1,4 @@
-type 'a t = int
+type +'a t = int
 
 
 let nil = ~-1
diff --git a/src/node.mli b/src/node.mli
index 2aecb70..84472ac 100644
--- a/src/node.mli
+++ b/src/node.mli
@@ -1,4 +1,4 @@
-type 'a t = private int
+type +'a t = private int
 val nil : 'a t
 val null : 'a t
 val is_nil : 'a t -> bool