diff options
Diffstat (limited to 'src/main/WarnLevel.c')
| -rw-r--r-- | src/main/WarnLevel.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/WarnLevel.c b/src/main/WarnLevel.c index 9b2f1512..403b2428 100644 --- a/src/main/WarnLevel.c +++ b/src/main/WarnLevel.c @@ -146,7 +146,7 @@ int CCTK_Warn(int level, int line, const char *file, const char *thorn, const ch if(level <= error_level) { - exit(99); + CCTK_Abort(NULL,0); } return 0; @@ -292,7 +292,7 @@ int CCTK_VWarn(int level, int line, const char *file, const char *thorn, const c if(level <= error_level) { - exit(99); + CCTK_Abort(NULL,0); } return 0; |