From 7677b13d8a32147b702576f4df92fcac5c55729c Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <patrick.pelissier@gmail.com>
Date: Fri, 7 Mar 2025 23:49:36 +0100
Subject: [PATCH] Update contract comment.

---
 m-core.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/m-core.h b/m-core.h
index de836a1b..d7b04d44 100644
--- a/m-core.h
+++ b/m-core.h
@@ -401,6 +401,7 @@ M_BEGIN_PROTECTED_CODE
 
 /* This macro is called on memory allocation failure.
  * By default, it raises a fatal error and abort execution.
+ * It shall never continue execution.
  * NOTE: Can be overloaded by user code.
 */
 #ifndef M_MEMORY_FULL