ply adaption was wrong for EM replacements
This commit is contained in:
parent
b1be3e3487
commit
4d068e8e04
2 changed files with 12 additions and 4 deletions
|
|
@ -656,8 +656,10 @@ if (Debug > 1) fprintf(stderr, "cost after coercions: %u\n", t);
|
||||||
break;
|
break;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
if (!toplevel)
|
if (!toplevel) {
|
||||||
ply += emrepllen;
|
if (ply >= j) ply += emrepllen - j;
|
||||||
|
else ply = emrepllen;
|
||||||
|
}
|
||||||
break;
|
break;
|
||||||
case DO_COST:
|
case DO_COST:
|
||||||
DEBUG("COST");
|
DEBUG("COST");
|
||||||
|
|
|
||||||
|
|
@ -852,8 +852,14 @@ normalfailed: if (stackpad!=tokpatlen) {
|
||||||
break;
|
break;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
if (!toplevel)
|
if (!toplevel) {
|
||||||
ply += emrepllen;
|
if (ply >= j) ply = emrepllen + ply - j;
|
||||||
|
else ply = emrepllen;
|
||||||
|
#ifndef NDEBUG
|
||||||
|
if (Debug > 4)
|
||||||
|
fprintf(stderr, "ply becomes %d\n", ply);
|
||||||
|
#endif
|
||||||
|
}
|
||||||
break;
|
break;
|
||||||
}
|
}
|
||||||
case DO_COST: {
|
case DO_COST: {
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue