diff --git a/C/sysbits.c b/C/sysbits.c index 67b68498e..1c1905776 100755 --- a/C/sysbits.c +++ b/C/sysbits.c @@ -1491,6 +1491,7 @@ static RETSIGTYPE HandleSIGSEGV(int sig) { if (Yap_PrologMode & ExtendStackMode) { + CACHE_REGS Yap_Error(FATAL_ERROR, TermNil, "OS memory allocation crashed at address %p, bailing out\n",Yap_TrailTop); } SearchForTrailFault();