diff options
Diffstat (limited to 'byterun/misc.h')
| -rw-r--r-- | byterun/misc.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/byterun/misc.h b/byterun/misc.h index e36c1586a..bda864fc4 100644 --- a/byterun/misc.h +++ b/byterun/misc.h @@ -41,10 +41,10 @@ typedef char * addr; /* </private> */ #ifdef __GNUC__ -/* Works only in GCC 2.5 and later */ -#define Noreturn __attribute ((noreturn)) + /* Works only in GCC 2.5 and later */ + #define Noreturn __attribute__ ((noreturn)) #else -#define Noreturn + #define Noreturn #endif /* Export control (to mark primitives and to handle Windows DLL) */ @@ -71,7 +71,7 @@ typedef char * addr; #define CAMLassert(x) ((x) ? 0 : caml_failed_assert ( #x , __FILE__, __LINE__)) CAMLextern int caml_failed_assert (char *, char *, int); #else -#define CAMLassert(x) 0 +#define CAMLassert(x) ((void) 0) #endif CAMLextern void caml_fatal_error (char *msg) Noreturn; |