Merge commit 'erg/master'

release
Slava Pestov 2007-12-12 16:20:00 -05:00
commit 73f393ad28
1 changed files with 1 additions and 2 deletions

View File

@ -87,8 +87,7 @@ void c_to_factor_toplevel(CELL quot)
if(!AddVectoredExceptionHandler(0, (void*)exception_handler))
fatal_error("AddVectoredExceptionHandler failed", 0);
c_to_factor(quot);
if(!RemoveVectoredExceptionHandler((void*)exception_handler))
fatal_error("RemoveVectoredExceptionHandler failed", 0);
RemoveVectoredExceptionHandler((void*)exception_handler);
}
void open_console(void)