From 7bad9132bb5bd82dc6e63dd073558398307d4bc4 Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Tue, 5 Jun 2018 17:46:43 +0100 Subject: [PATCH] the 'this' capture is not used --- src/goto-programs/remove_function_pointers.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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;