From 0a5e131ce1f7ea3f8d8baa1a0fafbcdca6b1cb4e Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 17 May 2016 23:23:45 +0200
Subject: [PATCH] use structural equality

---
 src/core/CCVector.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core/CCVector.ml b/src/core/CCVector.ml
index 878adf4d..480334e5 100644
--- a/src/core/CCVector.ml
+++ b/src/core/CCVector.ml
@@ -243,7 +243,7 @@ let append_list a b = match b with
 *)
 
 let equal eq v1 v2 =
-  v1.size == v2.size
+  v1.size = v2.size
   &&
   let n = v1.size in
   let rec check i =