Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6
This commit is contained in:
commit
7663a748a9
@ -1917,9 +1917,9 @@ YAP_PruneGoal(void)
|
||||
while (B->cp_ap != NOCODE) {
|
||||
B = B->cp_b;
|
||||
}
|
||||
Yap_TrimTrail();
|
||||
B = B->cp_b;
|
||||
|
||||
Yap_TrimTrail();
|
||||
RECOVER_B();
|
||||
}
|
||||
|
||||
|
Reference in New Issue
Block a user