mirror of
https://github.com/c-cube/sidekick.git
synced 2025-12-06 03:05:31 -05:00
fix compat bug
This commit is contained in:
parent
c7fae418ab
commit
6df11c2962
1 changed files with 1 additions and 1 deletions
|
|
@ -139,7 +139,7 @@ end
|
|||
module Map = struct
|
||||
module M = Map.Make(struct
|
||||
type t = int
|
||||
let compare (i:int) j = Stdlib.compare i j
|
||||
let compare (i:int) j = CCInt.compare i j
|
||||
end)
|
||||
|
||||
type t = exn_pair M.t
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue