diff options
Diffstat (limited to 'lib/cArray.mli')
| -rw-r--r-- | lib/cArray.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/cArray.mli b/lib/cArray.mli index e3a3bd7f55..28f5110eed 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. *) |