From a4b9c7188c2169eddaeabe66a5706a4ec1b6872d Mon Sep 17 00:00:00 2001
From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= <kn@lri.fr>
Date: Thu, 16 Feb 2012 02:46:18 +0100
Subject: [PATCH] Add variance indicator to type.

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

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