We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 9469765 commit 25188daCopy full SHA for 25188da
1 file changed
stdlib/stdlib.mli
@@ -84,7 +84,7 @@ exception Out_of_memory
84
(** Exception raised by functions such as those for array and bigarray
85
creation when there is insufficient memory. Failure to allocate
86
memory during garbage collection causes a fatal error, unlike in
87
- previous versions. *)
+ previous versions, where it did not always do so. *)
88
89
exception Stack_overflow
90
(** Exception raised by the bytecode interpreter when the evaluation
0 commit comments