1 files changed, 9 insertions, 0 deletions

diff --git a/mps/code/testlib.h b/mps/code/testlib.h
index 1d0ee79289b..9df253d797e 100644
--- a/mps/code/testlib.h
+++ b/mps/code/testlib.h
@@ -159,6 +159,15 @@ extern void die_expect(mps_res_t res, mps_res_t expected, const char *s);
 extern void cdie(int res, const char *s);
 
 
+/* assert_die -- always die on assertion
+ *
+ * The MPS assertion handler may not stop in the HOT variety,
+ * preventing tests from detecting defects.  This one does.
+ */
+
+void assert_die(const char *file, unsigned line, const char *condition);
+
+
 /* error, verror -- die with message */
 
 extern void error(const char *format, ...);