summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2007-02-21 14:15:19 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2007-02-21 14:15:19 +0000
commit251e86a3701e35bd119cf65e04fd1b7c6b19b6e8 (patch)
treedbc03b1acd94e68a555cd744efb88e1708024edf
parentaf7cc2dcb86cbb9d1f2991812e1716b6a35d3449 (diff)
Documentation of int_of_float (see PR#4207)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7890 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 9e312739c..3ff3f4041 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