ensure failure after throw from user code.

This commit is contained in:
Vitor Santos Costa 2013-03-03 08:54:46 -06:00
parent acf565d91b
commit 1c12d456ae

View File

@ -7338,6 +7338,7 @@ Yap_absmi(int inp)
struct DB_TERM *exp = EX; struct DB_TERM *exp = EX;
EX = NULL; EX = NULL;
Yap_JumpToEnv(Yap_PopTermFromDB(exp)); Yap_JumpToEnv(Yap_PopTermFromDB(exp));
SREG = NULL;
} }
if (!SREG) { if (!SREG) {
FAIL(); FAIL();