Skip to content

Commit c51394d

Browse files
author
Remi Delmas
committed
CONTRACTS: fix missing source location
1 parent fc4df55 commit c51394d

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

src/goto-instrument/contracts/dynamic-frames/dfcc_wrapper_program.cpp

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -797,7 +797,8 @@ void dfcc_wrapper_programt::encode_havoced_function_call()
797797
write_set_checks.add(goto_programt::make_dead(check_var, wrapper_sl));
798798
}
799799

800-
auto label_instruction = write_set_checks.add(goto_programt::make_skip());
800+
auto label_instruction =
801+
write_set_checks.add(goto_programt::make_skip(wrapper_sl));
801802
goto_instruction->complete_goto(label_instruction);
802803

803804
code_function_callt havoc_call(

0 commit comments

Comments
 (0)