flambda-backend: Missed comment from PR802 (ocaml#887)

Comment
stedolan · Oct 12, 2022 · 25188da · 25188da
1 parent 9469765
commit 25188da
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/stdlib/stdlib.mli b/stdlib/stdlib.mli
@@ -84,7 +84,7 @@ exception Out_of_memory
 (** Exception raised by functions such as those for array and bigarray
     creation when there is insufficient memory.  Failure to allocate
     memory during garbage collection causes a fatal error, unlike in
-    previous versions. *)
+    previous versions, where it did not always do so. *)
 
 exception Stack_overflow
 (** Exception raised by the bytecode interpreter when the evaluation