1 files changed, 3 insertions, 3 deletions
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