use iterator shortcut

Z3Prover · Nov 18, 2023 · 1710fe4 · 1710fe4
1 parent a9f9d3d
commit 1710fe4
Showing 1 changed file with 1 addition and 6 deletions.
diff --git a/src/smt/smt_context.cpp b/src/smt/smt_context.cpp
@@ -1672,12 +1672,7 @@ namespace smt {
     }
 
     bool context::can_theories_propagate() const {
-        for (theory* t : m_theory_set) {
-            if (t->can_propagate()) {
-                return true;
-            }
-        }
-        return false;
+        return any_of(m_theory_set, [&](theory* t) { return t->can_propagate(); });
     }
 
     bool context::can_propagate() const {