diff options
| author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-06-01 11:40:43 +0200 |
|---|---|---|
| committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-06-01 11:40:43 +0200 |
| commit | c4a24372b70180f23b7a56a81533e86ebb8509e7 (patch) | |
| tree | d7a97ab4aa99d3d27331edb83f672398d030e41d /libs/util.ml | |
| parent | 727354805f3c33d17bff18b74fc688b631e85f41 (diff) | |
| download | SemVerif-Projet-c4a24372b70180f23b7a56a81533e86ebb8509e7.tar.gz SemVerif-Projet-c4a24372b70180f23b7a56a81533e86ebb8509e7.zip | |
Diffstat (limited to 'libs/util.ml')
| -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 |