Skip to content

Commit

Permalink
if-then & cut, re issue #650
Browse files Browse the repository at this point in the history
  • Loading branch information
infradig committed Jan 14, 2025
1 parent 0b9217a commit bbe0f44
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions src/query.c
Original file line number Diff line number Diff line change
Expand Up @@ -834,14 +834,13 @@ bool drop_barrier(query *q, pl_idx cp)
if ((q->cp-1) != cp)
return false;

drop_choice(q);

if (q->cp) {
const choice *ch = GET_CURR_CHOICE();
frame *f = GET_CURR_FRAME();
f->chgen = ch->chgen;
f->chgen = ch->frame_chgen;
}

drop_choice(q);
return true;
}

Expand Down

0 comments on commit bbe0f44

Please sign in to comment.