the 'this' capture is not used

NathanJPhillips · Jun 5, 2018 · 7bad913 · 7bad913
1 parent d24f773
commit 7bad913
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;