summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2008-10-06 13:33:21 +0000
committerDamien Doligez <damien.doligez-inria.fr>2008-10-06 13:33:21 +0000
commita76ddd0f1285ed2ac7b761bb4eed17d866196d1a (patch)
tree278c19b5db3ee084b4f3ab0fbc439ad9de676764
parentf609381328889267105e64b63d96c5ea2a660229 (diff)
doc detail
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9073 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--stdlib/pervasives.mli2
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/pervasives.mli b/stdlib/pervasives.mli
index d7b771103..7ead634fb 100644
--- a/stdlib/pervasives.mli
+++ b/stdlib/pervasives.mli
@@ -49,7 +49,7 @@ external ( = ) : 'a -> 'a -> bool = "%equal"
if and only if their current contents are structurally equal,
even if the two mutable objects are not the same physical object.
Equality between functional values raises [Invalid_argument].
- Equality between cyclic data structures does not terminate. *)
+ Equality between cyclic data structures may not terminate. *)
external ( <> ) : 'a -> 'a -> bool = "%notequal"
(** Negation of {!Pervasives.(=)}. *)