diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2016-01-06 00:58:42 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2016-01-06 00:58:42 +0100 |
commit | 23cbf43f353c50fa72b72d694611c5c14367cea2 (patch) | |
tree | a04f140b3f383a798b3aeca9b92f663ff0d98dba /lib/cMap.mli | |
parent | ffc135337b479349a9e94c0da0a87531cf0684fa (diff) |
Protect code against changes in Map interface.
The Map interface of upcoming OCaml 4.03 includes a new union operator. In
order to make our homemade implementation of Maps compatible with OCaml
versions from 3.12 to 4.03, we define our own signatures for Maps.
Diffstat (limited to 'lib/cMap.mli')
-rw-r--r-- | lib/cMap.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/cMap.mli b/lib/cMap.mli index 23d3801e0..9d0fbbad2 100644 --- a/lib/cMap.mli +++ b/lib/cMap.mli @@ -18,7 +18,7 @@ module type S = Map.S module type ExtS = sig - include Map.S + include CSig.MapS (** The underlying Map library *) module Set : CSig.SetS with type elt = key |