diff options
Diffstat (limited to 'src/lfsc/builtin.ml')
| -rw-r--r-- | src/lfsc/builtin.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lfsc/builtin.ml b/src/lfsc/builtin.ml index e528db3..3ee5f33 100644 --- a/src/lfsc/builtin.ml +++ b/src/lfsc/builtin.ml @@ -616,7 +616,7 @@ let cong s1 s2 a1 b1 a2 b2 u1 u2 = module MInt = Map.Make (struct type t = int - let compare = Pervasives.compare + let compare = Stdlib.compare end) module STerm = Set.Make (Term) |