diff options
| author | ppedrot | 2013-08-03 20:45:46 +0000 |
|---|---|---|
| committer | ppedrot | 2013-08-03 20:45:46 +0000 |
| commit | 40c29ed04ee15c34ef34f7ba638a0773dd113f92 (patch) | |
| tree | 2911881711d18316699a1b5d74edb66489088d56 /kernel | |
| parent | 2b8ad61822111fad93176b54800cb43e347df292 (diff) | |
Small fixes due to the arrival of OCaml 3.12.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16656 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/names.mli | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/kernel/names.mli b/kernel/names.mli index c2409649c0..8022cb199e 100644 --- a/kernel/names.mli +++ b/kernel/names.mli @@ -35,12 +35,7 @@ sig module Set : Set.S with type elt = t (** Finite sets of identifiers. *) - module Map : sig - include Map.S with type key = t - (** FIXME: this is included in OCaml 3.12 *) - val exists : (key -> 'a -> bool) -> 'a t -> bool - val singleton : key -> 'a -> 'a t - end + module Map : Map.S with type key = t (** Finite maps of identifiers. *) module Pred : Predicate.S with type elt = t |