We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 9620802 commit fbd54dfCopy full SHA for fbd54df
src/goto-programs/remove_virtual_functions.cpp
@@ -434,7 +434,8 @@ void remove_virtual_functionst::get_functions(
434
std::sort(
435
functions.begin(),
436
functions.end(),
437
- [&root_function](const dispatch_table_entryt &a, dispatch_table_entryt &b) {
+ [](const dispatch_table_entryt &a, dispatch_table_entryt &b)
438
+ {
439
if(
440
has_prefix(
441
id2string(a.symbol_expr.get_identifier()), "java::java.lang.Object"))
0 commit comments