void
_assertFail(char *filename, unsigned int linenum)
{
- internalErrorBelch("ASSERTION FAILED: file %s, line %u\n", filename, linenum);
- abort();
-}
-
-internalErrorBelch(char *s, ...)
-{
- va_list ap;
- va_start(ap,s);
- (*fatalInternalErrorFn)(s,ap);
- va_end(ap);
+ barf("ASSERTION FAILED: file %s, line %u\n", filename, linenum);
}
void