From c7678424a339a61d189f1d6a8d42d84683f7c2a7 Mon Sep 17 00:00:00 2001
From: Pjotr Prins
Date: Sat, 14 Oct 2017 07:46:34 +0000
Subject: More travis

---
 src/debug.h | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/debug.h')

diff --git a/src/debug.h b/src/debug.h
index ee36887..7d2197d 100644
--- a/src/debug.h
+++ b/src/debug.h
@@ -49,6 +49,11 @@ inline void fail_at_msg(bool strict, const char *__file, int __line, const char
 # define __ASSERT_VOID_CAST (void)
 # endif
 
+inline void fail_msg(const char *msg) {
+  std::cerr << "**** FAILED: " << msg << std::endl;
+  exit(5);
+}
+
 #if defined NDEBUG
 
 #define warning_msg(msg) cerr << "**** WARNING: " << msg << endl;
-- 
cgit v1.2.3