aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPjotr Prins2017-10-10 10:08:12 +0000
committerPjotr Prins2017-10-13 15:27:24 +0000
commit45b964a6886e50207437d91ebe8dd702a772d059 (patch)
tree9cf6945e091892bfa1d8e3113edefa09589918d5
parent362f77ebdd5a7eeda6244c37f353016572aabe3f (diff)
downloadpangemma-45b964a6886e50207437d91ebe8dd702a772d059.tar.gz
Make sure __ASSERT_VOID_CAST works
-rw-r--r--src/debug.h5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/debug.h b/src/debug.h
index e910a25..06ca5cb 100644
--- a/src/debug.h
+++ b/src/debug.h
@@ -28,6 +28,11 @@ inline void fail_at_msg(bool strict, const char *__file, int __line, const char
if (strict)
exit(1);
}
+
+# ifndef __ASSERT_VOID_CAST
+# define __ASSERT_VOID_CAST (void)
+# endif
+
#if defined NDEBUG
#define warning_msg(msg) cerr << "**** WARNING: " << msg << endl;