summaryrefslogtreecommitdiffstats
path: root/libs/util.ml
diff options
context:
space:
mode:
Diffstat (limited to 'libs/util.ml')
-rw-r--r--libs/util.ml6
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