Remove unused lambda capture

The unused capture breaks the build when compiling with clang++ >= 5.0.1.
smowton · Feb 14, 2018 · fbd54df · fbd54df
1 parent 9620802
commit fbd54df
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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"))