Fixed terminal breaking due to call to exit() instead of revm_exit() …

…in elfsh
thorkill · Feb 12, 2013 · 54bf8c3 · 54bf8c3
1 parent c83b122
commit 54bf8c3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/librevm/api/misc.c b/librevm/api/misc.c
@@ -319,7 +319,7 @@ int revm_doerror(void (*fct)(char *str), char *str)
  else
  {
  revm_help(NULL);
- exit(-1);
+ revm_exit(-1);
  }
  PROFILER_ERR(__FILE__, __FUNCTION__, __LINE__,
  "Bypassed error printing", (-1));