From b819b368f1bf2345e150ee331a032e55ea0b592b Mon Sep 17 00:00:00 2001
From: Thai Trinh <trinhmt@comp.nus.edu.sg>
Date: Fri, 8 Dec 2017 19:29:07 +0800
Subject: [PATCH] minor

---
 src/smt/theory_seq.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/smt/theory_seq.cpp b/src/smt/theory_seq.cpp
index 4eda3dc39..c1edca47b 100644
--- a/src/smt/theory_seq.cpp
+++ b/src/smt/theory_seq.cpp
@@ -1269,8 +1269,7 @@ bool theory_seq::len_based_split() {
         }
     }
 
-    for (unsigned i = 0; i < sz; ++i) {
-        eq const& e = m_eqs[i];
+    for (auto const& e : m_eqs) {
         if (len_based_split(e)) {
             return true;
         }