From c4a24372b70180f23b7a56a81533e86ebb8509e7 Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Sun, 1 Jun 2014 11:40:43 +0200
Subject: Fix assertions ; fix environment equality test ; fix varialbe
 removal.

---
 libs/util.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'libs/util.ml')

diff --git a/libs/util.ml b/libs/util.ml
index b1fcdc4..30cf5bf 100644
--- a/libs/util.ml
+++ b/libs/util.ml
@@ -2,11 +2,11 @@ exception TypeError
 
 module VarMap = Mapext.Make(String)
 
-let rec fix f s =
+let rec fix equal f s =
   let fs = f s in
-  if fs = s
+  if equal fs s
     then fs
-    else fix f fs
+    else fix equal f fs
 
 let (@@) f x = f x
 
-- 
cgit v1.2.3