Skip to content

Commit fbd54df

Browse files
committed
Remove unused lambda capture
The unused capture breaks the build when compiling with clang++ >= 5.0.1.
1 parent 9620802 commit fbd54df

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

src/goto-programs/remove_virtual_functions.cpp

+2-1
Original file line numberDiff line numberDiff line change
@@ -434,7 +434,8 @@ void remove_virtual_functionst::get_functions(
434434
std::sort(
435435
functions.begin(),
436436
functions.end(),
437-
[&root_function](const dispatch_table_entryt &a, dispatch_table_entryt &b) {
437+
[](const dispatch_table_entryt &a, dispatch_table_entryt &b)
438+
{
438439
if(
439440
has_prefix(
440441
id2string(a.symbol_expr.get_identifier()), "java::java.lang.Object"))

0 commit comments

Comments
 (0)