Skip to content

Commit 25188da

Browse files
authored
flambda-backend: Missed comment from PR802 (oxcaml#887)
Comment
1 parent 9469765 commit 25188da

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

stdlib/stdlib.mli

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -84,7 +84,7 @@ exception Out_of_memory
8484
(** Exception raised by functions such as those for array and bigarray
8585
creation when there is insufficient memory. Failure to allocate
8686
memory during garbage collection causes a fatal error, unlike in
87-
previous versions. *)
87+
previous versions, where it did not always do so. *)
8888

8989
exception Stack_overflow
9090
(** Exception raised by the bytecode interpreter when the evaluation

0 commit comments

Comments
 (0)