diff options
-rw-r--r-- | src/main/WarnLevel.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/main/WarnLevel.c b/src/main/WarnLevel.c index ff257e83..fcdd329e 100644 --- a/src/main/WarnLevel.c +++ b/src/main/WarnLevel.c @@ -258,7 +258,7 @@ int CCTK_VInfo (const char *thorn, const char *format, ...) static int info_format_decoded = 0; /* are the following two flags valid? */ /* Boolean flags decoded from cactus::info_format */ static int info_format_numeric = 0; /* print a numeric timestamp? */ - static int info_format_human_readable = 0; /* print a human-readable timestamp? */ + static int info_format_human_readable = 0; /* print a human-readable timestamrrp? */ /* necessary for wrapping up the final message */ int msg_size; @@ -447,6 +447,7 @@ void CCTK_Error (int line, const char *message) { CCTK_Warn (0, line, file, thorn, message); + CCTK_BUILTIN_UNREACHABLE(); } void CCTK_FCALL CCTK_FNAME (CCTK_Error) |