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 9e312739ca..3ff3f40418 100644 --- a/stdlib/pervasives.mli +++ b/stdlib/pervasives.mli @@ -337,7 +337,7 @@ external truncate : float -> int = "%intoffloat" external int_of_float : float -> int = "%intoffloat" (** Truncate the given floating-point number to an integer. - The result is unspecified if it falls outside the + The result is unspecified if the argument is [nan] or falls outside the range of representable integers. *) val infinity : float |