From 2834fea9b3977f2988c528e221ff51fa12bfbe52 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 23 May 2017 08:58:21 -0700
Subject: [PATCH] fix x64 warnings

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/lp/matrix.hpp | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/util/lp/matrix.hpp b/src/util/lp/matrix.hpp
index 27cdabd3e..d032cab8c 100644
--- a/src/util/lp/matrix.hpp
+++ b/src/util/lp/matrix.hpp
@@ -58,8 +58,8 @@ unsigned get_width_of_column(unsigned j, vector<vector<std::string>> & A) {
     unsigned r = 0;
     for (unsigned i = 0; i < A.size(); i++) {
         vector<std::string> & t = A[i];
-        std::string str= t[j];
-        unsigned s = str.size();
+        std::string str = t[j];
+        unsigned s = static_cast<unsigned>(str.size());
         if (r < s) {
             r = s;
         }
@@ -69,8 +69,8 @@ unsigned get_width_of_column(unsigned j, vector<vector<std::string>> & A) {
 
 void print_matrix_with_widths(vector<vector<std::string>> & A, vector<unsigned> & ws, std::ostream & out) {
     for (unsigned i = 0; i < A.size(); i++) {
-        for (unsigned j = 0; j < A[i].size(); j++) {
-            print_blanks(ws[j] - A[i][j].size(), out);
+        for (unsigned j = 0; j < static_cast<unsigned>(A[i].size()); j++) {
+            print_blanks(ws[j] - static_cast<unsigned>(A[i][j].size()), out);
             out << A[i][j] << " ";
         }
         out << std::endl;