From e9a3cbdc62df5e3f0ba999e490793448864ab58e Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 15 Sep 2015 01:27:54 +0200
Subject: [PATCH] variance annotation

---
 src/data/CCWBTree.ml  | 4 ++--
 src/data/CCWBTree.mli | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/data/CCWBTree.ml b/src/data/CCWBTree.ml
index d0c24f57..54b6f189 100644
--- a/src/data/CCWBTree.ml
+++ b/src/data/CCWBTree.ml
@@ -60,7 +60,7 @@ end
 module type S = sig
   type key
 
-  type 'a t
+  type +'a t
 
   val empty : 'a t
 
@@ -158,7 +158,7 @@ module MakeFull(K : KEY) : S with type key = K.t = struct
 
   type weight = int
 
-  type 'a t =
+  type +'a t =
     | E
     | N of key * 'a * 'a t * 'a t * weight
 
diff --git a/src/data/CCWBTree.mli b/src/data/CCWBTree.mli
index 7181a28d..a4c1ba08 100644
--- a/src/data/CCWBTree.mli
+++ b/src/data/CCWBTree.mli
@@ -26,7 +26,7 @@ end
 module type S = sig
   type key
 
-  type 'a t
+  type +'a t
 
   val empty : 'a t