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 /plugins/firstorder/sequent.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 'plugins/firstorder/sequent.mli')
-rw-r--r-- | plugins/firstorder/sequent.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/firstorder/sequent.mli b/plugins/firstorder/sequent.mli index dc3f05be6..760168c9f 100644 --- a/plugins/firstorder/sequent.mli +++ b/plugins/firstorder/sequent.mli @@ -13,7 +13,7 @@ open Globnames module OrderedConstr: Set.OrderedType with type t=constr -module CM: Map.S with type key=constr +module CM: CSig.MapS with type key=constr type h_item = global_reference * (int*constr) option |