diff options
author | Pjotr Prins | 2017-10-10 10:08:12 +0000 |
---|---|---|
committer | Pjotr Prins | 2017-10-13 15:27:24 +0000 |
commit | 45b964a6886e50207437d91ebe8dd702a772d059 (patch) | |
tree | 9cf6945e091892bfa1d8e3113edefa09589918d5 | |
parent | 362f77ebdd5a7eeda6244c37f353016572aabe3f (diff) | |
download | pangemma-45b964a6886e50207437d91ebe8dd702a772d059.tar.gz |
Make sure __ASSERT_VOID_CAST works
-rw-r--r-- | src/debug.h | 5 |
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; |