From b1f799d697de4a2229adfe818d5e16ecd3cc35b7 Mon Sep 17 00:00:00 2001
From: Haozheng Fan <hzfan@apache.org>
Date: Mon, 25 Jan 2021 16:19:55 +0000
Subject: [PATCH] fix find

---
 src/arith/solve_linear_inequality.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/arith/solve_linear_inequality.cc b/src/arith/solve_linear_inequality.cc
index 6e0e449eade9..7b74d9218565 100644
--- 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()) {