Fix error reporting on serious signals.

This commit is contained in:
goffioul 2005-11-18 08:02:08 +00:00
parent d3b30eed35
commit 86ab306ebc

View file

@ -113,7 +113,7 @@ handle_signal(int sig)
FEerror("Segmentation violation.", 0);
break;
default:
FEerror("Serious signal ~D caught.", 0, MAKE_FIXNUM(sig));
FEerror("Serious signal ~D caught.", 1, MAKE_FIXNUM(sig));
}
}