aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/extraction
diff options
context:
space:
mode:
authorGravatar Maxime Dénès <mail@maximedenes.fr>2016-01-06 00:58:42 +0100
committerGravatar Maxime Dénès <mail@maximedenes.fr>2016-01-06 00:58:42 +0100
commit23cbf43f353c50fa72b72d694611c5c14367cea2 (patch)
treea04f140b3f383a798b3aeca9b92f663ff0d98dba /plugins/extraction
parentffc135337b479349a9e94c0da0a87531cf0684fa (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/extraction')
-rw-r--r--plugins/extraction/table.mli2
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/extraction/table.mli b/plugins/extraction/table.mli
index 916cf3ad6..4e638a0ac 100644
--- a/plugins/extraction/table.mli
+++ b/plugins/extraction/table.mli
@@ -13,7 +13,7 @@ open Miniml
open Declarations
module Refset' : CSig.SetS with type elt = global_reference
-module Refmap' : Map.S with type key = global_reference
+module Refmap' : CSig.MapS with type key = global_reference
val safe_basename_of_global : global_reference -> Id.t