Merge pull request #2282 from diffblue/unused-lambda-capture

remove unused 'this' capture

Author: Daniel Kroening

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;