diff options
Diffstat (limited to 'lib/int.ml')
| -rw-r--r-- | lib/int.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/int.ml b/lib/int.ml index 86d79fd31..a85cf400d 100644 --- a/lib/int.ml +++ b/lib/int.ml @@ -21,4 +21,4 @@ struct end module Set = Set.Make(Self) -module Map = Map.Make(Self) +module Map = CMap.Make(Self) |