add ad-hoc any-of for cross compatibility and simplifying interface

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Nov 4, 2022 · 7bb962d · 7bb962d
1 parent 49d1490
commit 7bb962d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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<dependent_expr> 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: