From 7bb962d9340ca96c088bc8878f813dc4490823b8 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 4 Nov 2022 12:49:55 -0700 Subject: [PATCH] add ad-hoc any-of for cross compatibility and simplifying interface Signed-off-by: Nikolaj Bjorner --- src/ast/simplifiers/model_reconstruction_trail.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/simplifiers/model_reconstruction_trail.h b/src/ast/simplifiers/model_reconstruction_trail.h index 96d27e4c4..4aa8a54fd 100644 --- a/src/ast/simplifiers/model_reconstruction_trail.h +++ b/src/ast/simplifiers/model_reconstruction_trail.h @@ -68,7 +68,7 @@ class model_reconstruction_trail { } bool intersects(ast_mark const& free_vars, vector const& added) { - return std::any_of(added.begin(), added.end(), [&](dependent_expr const& d) { return intersects(free_vars, d); }); + return any_of(added, [&](dependent_expr const& d) { return intersects(free_vars, d); }); } public: