diff options
author | Pjotr Prins | 2017-10-10 10:08:12 +0000 |
---|---|---|
committer | Pjotr Prins | 2017-10-10 10:08:12 +0000 |
commit | 8295b73436d732ec048319c9df08f9ef5800cc35 (patch) | |
tree | 83f238f5be4f5e0195c7e6267d4d24c3d7a5ef18 | |
parent | e561cae2c69e1b3607e6799cdc53df456ac13601 (diff) | |
download | pangemma-8295b73436d732ec048319c9df08f9ef5800cc35.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; |