aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
diff options
context:
space:
mode:
Diffstat (limited to 'lib')
-rw-r--r--lib/cArray.mli2
-rw-r--r--lib/cMap.mli2
2 files changed, 2 insertions, 2 deletions
diff --git a/lib/cArray.mli b/lib/cArray.mli
index e3a3bd7f5..28f5110ee 100644
--- a/lib/cArray.mli
+++ b/lib/cArray.mli
@@ -126,5 +126,5 @@ sig
end
(** The functions defined in this module are the same as the main ones, except
that they are all higher-order, and their function arguments have an
- additional parameter. This allows to prevent closure creation in critical
+ additional parameter. This allows us to prevent closure creation in critical
cases. *)
diff --git a/lib/cMap.mli b/lib/cMap.mli
index 4009ec99e..4a95c2346 100644
--- a/lib/cMap.mli
+++ b/lib/cMap.mli
@@ -54,7 +54,7 @@ sig
module Unsafe :
sig
val map : (key -> 'a -> key * 'b) -> 'a t -> 'b t
- (** As the usual [map], but also allows to modify the key of a binding.
+ (** As the usual [map], but also allows modifying the key of a binding.
It is required that the mapping function [f] preserves key equality,
i.e.: for all (k : key) (x : 'a), compare (fst (f k x)) k = 0. *)
end