diff --git a/src/goto-programs/remove_function_pointers.cpp b/src/goto-programs/remove_function_pointers.cpp index 3c63b54ff4d..7f93d9ae1da 100644 --- a/src/goto-programs/remove_function_pointers.cpp +++ b/src/goto-programs/remove_function_pointers.cpp @@ -434,7 +434,7 @@ void remove_function_pointerst::remove_function_pointer( // list the names of functions when verbosity is at debug level conditional_output( debug(), - [this, &functions](mstreamt &mstream) { + [&functions](mstreamt &mstream) { mstream << "targets: "; bool first = true;