diff options
| -rw-r--r-- | stdlib/pervasives.mli | 2 |
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.(=)}. *) |