Skip to content

Commit 55eefae

Browse files
committed
Try to silence Visual Studio warning
1 parent 50960d7 commit 55eefae

File tree

2 files changed

+4
-2
lines changed

2 files changed

+4
-2
lines changed

src/pointer-analysis/value_set_analysis.cpp

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,8 @@ Author: Daniel Kroening, [email protected]
1919
#include <langapi/language_util.h>
2020

2121
void value_sets_to_xml(
22-
std::function<const value_sett &(goto_programt::const_targett)> get_value_set,
22+
const std::function<const value_sett &(goto_programt::const_targett)>
23+
&get_value_set,
2324
const goto_programt &goto_program,
2425
const irep_idt &identifier,
2526
xmlt &dest)

src/pointer-analysis/value_set_analysis.h

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,8 @@ Author: Daniel Kroening, [email protected]
2121
class xmlt;
2222

2323
void value_sets_to_xml(
24-
std::function<const value_sett &(goto_programt::const_targett)> get_value_set,
24+
const std::function<const value_sett &(goto_programt::const_targett)>
25+
&get_value_set,
2526
const goto_programt &goto_program,
2627
const irep_idt &identifier,
2728
xmlt &dest);

0 commit comments

Comments
 (0)