fix find

apache · Jan 25, 2021 · b1f799d · b1f799d
1 parent 455f3ff
commit b1f799d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/arith/solve_linear_inequality.cc b/src/arith/solve_linear_inequality.cc
@@ -224,7 +224,7 @@ void MoveEquality(std::vector<PrimExpr>* upper_bounds,
                   std::vector<PrimExpr>* equalities) {
   // those exist in both upper & lower bounds will be moved to equalities
   for (auto ub = upper_bounds->begin(); ub != upper_bounds->end();) {
-    auto lb = std::find(lower_bounds->begin(), lower_bounds->end(), [&](const PrimExpr& e) {
+    auto lb = std::find_if(lower_bounds->begin(), lower_bounds->end(), [&](const PrimExpr& e) {
       return StructuralEqual()(e, *ub);
     });
     if (lb != lower_bounds->end()) {