diff options
| -rw-r--r-- | include/os.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/os.h b/include/os.h index 82d6694c2..d34e056ed 100644 --- a/include/os.h +++ b/include/os.h @@ -299,7 +299,7 @@ extern _X_EXPORT void OsBlockSignals (void); extern _X_EXPORT void OsReleaseSignals (void); -extern _X_EXPORT void OsAbort (void); +extern _X_EXPORT void OsAbort (void) X_NORETURN; #if !defined(WIN32) extern _X_EXPORT int System(char *); |