diff options
author | Dave Beckett <dave@dajobe.org> | 2015-12-29 17:49:15 -0800 |
---|---|---|
committer | Dave Beckett <dave@dajobe.org> | 2015-12-29 17:49:15 -0800 |
commit | 853376ab8afeea0fff5a1b68111594de9f7fb081 (patch) | |
tree | 6da4b8a4073a9a7d6bda2093d10c339bd75881f8 | |
parent | d84db42de9f3d7fc7e05f81990ebe816dd0db0b7 (diff) | |
download | raptor-853376ab8afeea0fff5a1b68111594de9f7fb081.tar.gz |
Fix RAPTOR_ASSERT_DIE() call
-rw-r--r-- | src/raptor_general.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/raptor_general.c b/src/raptor_general.c index 288f1d20..c7ce37ef 100644 --- a/src/raptor_general.c +++ b/src/raptor_general.c @@ -750,7 +750,7 @@ raptor_check_world_internal(raptor_world* world, const char* name) if(!world) { fprintf(stderr, "%s called with NULL world object\n", name); - RAPTOR_ASSERT_DIE() + RAPTOR_ASSERT_DIE(1) } /* In Raptor V1 ABI the first int of raptor_world is the 'opened' field */ |