From 0b1b5a4328fece4af9e5213ff7e2b244c356b1bf Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Thu, 10 Mar 2016 09:03:24 +0000
Subject: [PATCH] fix VS x64 warning

---
 src/muz/pdr/pdr_sym_mux.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/muz/pdr/pdr_sym_mux.cpp b/src/muz/pdr/pdr_sym_mux.cpp
index 198752846..a68b57e9c 100644
--- a/src/muz/pdr/pdr_sym_mux.cpp
+++ b/src/muz/pdr/pdr_sym_mux.cpp
@@ -32,7 +32,7 @@ sym_mux::sym_mux(ast_manager & m)
     : m(m), m_ref_holder(m), 
       m_next_sym_suffix_idx(0) {
     m_suffixes.push_back("_n");
-    unsigned suf_sz = m_suffixes.size();
+    size_t suf_sz = m_suffixes.size();
     for(unsigned i = 0; i < suf_sz; ++i) {
         symbol suff_sym = symbol(m_suffixes[i].c_str());
         m_used_suffixes.insert(suff_sym);