obey types

This commit is contained in:
Vitor Santos Costa 2013-01-18 14:27:46 +00:00
parent 0f362ae77f
commit fa470556f2

View File

@ -7446,7 +7446,7 @@ Yap_absmi(int inp)
saveregs(); saveregs();
save_machine_regs(); save_machine_regs();
SREG = (CELL *) YAP_ExecuteFirst(PREG->u.OtapFs.p, (CPredicate)(PREG->u.OtapFs.f)); SREG = (CELL *) YAP_ExecuteFirst(PREG->u.OtapFs.p, (CPredicate)(PREG->u.OtapFs.f));
EX = 0L; EX = NULL;
restore_machine_regs(); restore_machine_regs();
setregs(); setregs();
LOCAL_PrologMode = UserMode; LOCAL_PrologMode = UserMode;
@ -7489,7 +7489,7 @@ Yap_absmi(int inp)
saveregs(); saveregs();
save_machine_regs(); save_machine_regs();
SREG = (CELL *) YAP_ExecuteNext(PREG->u.OtapFs.p, (CPredicate)(PREG->u.OtapFs.f)); SREG = (CELL *) YAP_ExecuteNext(PREG->u.OtapFs.p, (CPredicate)(PREG->u.OtapFs.f));
EX = 0L; EX = NULL;
restore_machine_regs(); restore_machine_regs();
setregs(); setregs();
LOCAL_PrologMode = UserMode; LOCAL_PrologMode = UserMode;