From dbc1a84d6a4efd828368384917d4e3758d477ba7 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Tue, 15 Dec 2015 18:36:01 +0000
Subject: [PATCH] fix warning with MSVC++ 64

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

diff --git a/src/smt/theory_seq.cpp b/src/smt/theory_seq.cpp
index 63ac0fbe8..641d5e444 100644
--- a/src/smt/theory_seq.cpp
+++ b/src/smt/theory_seq.cpp
@@ -250,7 +250,7 @@ bool theory_seq::find_branch_candidate(expr* l, ptr_vector<expr> const& rs) {
         }
         zstring s;
         if (m_util.str.is_string(rs[j], s)) {
-            for (size_t k = 1; k < s.length(); ++k) {
+            for (unsigned k = 1; k < s.length(); ++k) {
                 v = m_util.str.mk_string(s.extract(0, k));
                 if (v0) v = m_util.str.mk_concat(v0, v);
                 if (assume_equality(l, v)) {