FIX: in tabling mode _trust_me was being assembled as _retry_me (obs from Chris Mungali)
This commit is contained in:
parent
fb8648d7df
commit
09ccb295c2
@ -4177,7 +4177,7 @@ emit_protection_choicepoint(int first, int clleft, UInt nxtlbl, struct intermedi
|
|||||||
kinds of hell would follow, so we just keep it around: not nice,
|
kinds of hell would follow, so we just keep it around: not nice,
|
||||||
but should work.
|
but should work.
|
||||||
*/
|
*/
|
||||||
Yap_emit(retryme_op, (CELL)TRUSTFAILCODE, 0, cint);
|
Yap_emit(trustme_op, 0, 0, cint);
|
||||||
#endif /* TABLING */
|
#endif /* TABLING */
|
||||||
} else {
|
} else {
|
||||||
Yap_emit(trustme_op, 0, 0, cint);
|
Yap_emit(trustme_op, 0, 0, cint);
|
||||||
|
Reference in New Issue
Block a user