diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-09-07 10:02:27 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-07 10:02:27 -0400 |
commit | 700a48cc6e78f75166b6e322207a29981782c4e3 (patch) | |
tree | b457a00c7d51e21cfedb1ca9f1b2993d6771f74a /include | |
parent | 1777fbbddce252990fc5055e4e5462123938483c (diff) |
'error' function
Diffstat (limited to 'include')
-rw-r--r-- | include/urweb.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/include/urweb.h b/include/urweb.h index 2c7576d9..8b74a21b 100644 --- a/include/urweb.h +++ b/include/urweb.h @@ -17,7 +17,8 @@ void lw_reset_keep_error_message(lw_context); failure_kind lw_begin_init(lw_context); failure_kind lw_begin(lw_context, char *path); -void lw_error(lw_context, failure_kind, const char *fmt, ...); +__attribute__((noreturn)) void lw_error(lw_context, failure_kind, const char *fmt, ...); +__attribute__((noreturn)) void lw_Basis_error(lw_context, lw_Basis_string); char *lw_error_message(lw_context); void *lw_malloc(lw_context, size_t); |