aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPjotr Prins2017-10-10 10:08:12 +0000
committerPjotr Prins2017-10-10 10:08:12 +0000
commit8295b73436d732ec048319c9df08f9ef5800cc35 (patch)
tree83f238f5be4f5e0195c7e6267d4d24c3d7a5ef18
parente561cae2c69e1b3607e6799cdc53df456ac13601 (diff)
downloadpangemma-8295b73436d732ec048319c9df08f9ef5800cc35.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;