Skip to content

Commit e879f1f

Browse files
committed
Fix goto unwinding
Signed-off-by: František Nečas <[email protected]>
1 parent a11060c commit e879f1f

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/2ls/preprocessing_util.cpp

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -154,6 +154,7 @@ bool twols_parse_optionst::unwind_goto_into_loop(
154154

155155
goto_unwindt goto_unwind;
156156
goto_unwind.unwind(
157+
f_it->first,
157158
body,
158159
l_it->second,
159160
l_it->first,

0 commit comments

Comments
 (0)