From 2f5c0a6985065cf161e9fb3298586214223dc3c8 Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Tue, 17 Dec 2024 16:02:24 +0000 Subject: [PATCH] remove 2 unneeded lambda captures --- src/ast/rewriter/var_subst.cpp | 2 +- src/qe/qe_mbp.cpp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/ast/rewriter/var_subst.cpp b/src/ast/rewriter/var_subst.cpp index 820a235d8..6c1edc04f 100644 --- a/src/ast/rewriter/var_subst.cpp +++ b/src/ast/rewriter/var_subst.cpp @@ -52,7 +52,7 @@ expr_ref var_subst::operator()(expr * n, unsigned num_args, expr * const * args) rep(n, result); return result; } - if (is_app(n) && all_of(*to_app(n), [&](expr* arg) { return is_ground(arg) || is_var(arg); })) { + if (is_app(n) && all_of(*to_app(n), [](expr* arg) { return is_ground(arg) || is_var(arg); })) { ptr_buffer new_args; for (auto arg : *to_app(n)) { if (is_ground(arg)) diff --git a/src/qe/qe_mbp.cpp b/src/qe/qe_mbp.cpp index 27751adb9..1a7013723 100644 --- a/src/qe/qe_mbp.cpp +++ b/src/qe/qe_mbp.cpp @@ -102,7 +102,7 @@ namespace qembp { SASSERT(num == accessors->size()); // -- all accessors must have exactly one argument - if (any_of(*accessors, [&](const func_decl* acc) { return acc->get_arity() != 1; })) { + if (any_of(*accessors, [](const func_decl* acc) { return acc->get_arity() != 1; })) { return BR_FAILED; }