fix excessive untrailing in C-code interface (obs from Nuno Fonseca).
This commit is contained in:
parent
bed3e52a84
commit
783c5ed6bc
@ -1917,9 +1917,9 @@ YAP_PruneGoal(void)
|
|||||||
while (B->cp_ap != NOCODE) {
|
while (B->cp_ap != NOCODE) {
|
||||||
B = B->cp_b;
|
B = B->cp_b;
|
||||||
}
|
}
|
||||||
|
Yap_TrimTrail();
|
||||||
B = B->cp_b;
|
B = B->cp_b;
|
||||||
|
|
||||||
Yap_TrimTrail();
|
|
||||||
RECOVER_B();
|
RECOVER_B();
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user