do not allow backtracking to a frozen CP.

This commit is contained in:
Vítor Santos Costa 2008-09-24 00:12:32 +01:00
parent 30900bd61f
commit 6747cb21de

View File

@ -669,6 +669,8 @@ freeze_current_cp(void) {
B_FZ = freeze_cp;
H_FZ = freeze_cp->cp_h;
TR_FZ = freeze_cp->cp_tr;
B = B->cp_b;
HB = B->cp_h;
return freeze_cp;
}