diff options
Diffstat (limited to 'libs')
| -rw-r--r-- | libs/util.ml | 6 |
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 |