From fbd54df053c18867757598c244dbcd97fd763b3b Mon Sep 17 00:00:00 2001 From: Kareem Khazem Date: Wed, 14 Feb 2018 09:09:18 +0000 Subject: [PATCH] Remove unused lambda capture The unused capture breaks the build when compiling with clang++ >= 5.0.1. --- src/goto-programs/remove_virtual_functions.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/goto-programs/remove_virtual_functions.cpp b/src/goto-programs/remove_virtual_functions.cpp index 00a9c459b0d..3372e390a42 100644 --- a/src/goto-programs/remove_virtual_functions.cpp +++ b/src/goto-programs/remove_virtual_functions.cpp @@ -434,7 +434,8 @@ void remove_virtual_functionst::get_functions( std::sort( functions.begin(), functions.end(), - [&root_function](const dispatch_table_entryt &a, dispatch_table_entryt &b) { + [](const dispatch_table_entryt &a, dispatch_table_entryt &b) + { if( has_prefix( id2string(a.symbol_expr.get_identifier()), "java::java.lang.Object"))