allow static_claus on static clauses wo source
This commit is contained in:
parent
f94bec3cfc
commit
efe827db6c
@ -3631,7 +3631,7 @@ static Int fetch_next_static_clause(PredEntry *pe, yamop *i_code, Term th,
|
||||
don't do this!! I might have stored a choice-point and changed ASP
|
||||
Yap_RecoverSlots(3);
|
||||
*/
|
||||
if (cl == NULL || !(pe->PredFlags & SourcePredFlag)) {
|
||||
if (cl == NULL) {
|
||||
UNLOCKPE(45, pe);
|
||||
return false;
|
||||
}
|
||||
|
@ -572,7 +572,7 @@ be lost.
|
||||
*->
|
||||
'$stop_creeping'(_),
|
||||
(
|
||||
'$continue_debugging_goal'(yes, '$execute_clause'(G, M, R, CP))
|
||||
'$creep'('$execute_clause'(G, M, R, CP), M)
|
||||
;
|
||||
InRedo = true
|
||||
)
|
||||
|
Reference in New Issue
Block a user