diff options
Diffstat (limited to 'src/noreturn.h')
| -rw-r--r-- | src/noreturn.h | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/noreturn.h b/src/noreturn.h deleted file mode 100644 index 81b2bae..0000000 --- a/src/noreturn.h +++ /dev/null @@ -1,11 +0,0 @@ -/* This file is dedicated to the public domain. */ - -#ifndef INC_NORETURN_H -#define INC_NORETURN_H - -#undef noreturn -#define noreturn _Noreturn void - -#endif - -// vi: sw=4 ts=4 noet tw=80 cc=80 |