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

remove unused 'this' capture
NathanJPhillips · Jun 5, 2018 · d668583 · d668583
2 parents d24f773 + 7bad913
commit d668583
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;