From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 7 Dec 2013 15:19:24 +0000 (+0100)
Subject: Fixed compiler warining in passes/sat/eval.cc
X-Git-Tag: yosys-0.2.0~248
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5de57e9970a76ae99f5baee46c60fc7f34aca772;p=yosys.git

Fixed compiler warining in passes/sat/eval.cc
---

diff --git a/passes/sat/eval.cc b/passes/sat/eval.cc
index 2ae74063f..5d0d35b69 100644
--- a/passes/sat/eval.cc
+++ b/passes/sat/eval.cc
@@ -585,13 +585,13 @@ struct EvalPass : public Pass {
 			bool first = true;
 			for (auto &row : tab) {
 				for (size_t i = 0; i < row.size(); i++) {
-					int k = i < tab_sep_colidx ? tab_sep_colidx - i - 1 : i;
+					int k = int(i) < tab_sep_colidx ? tab_sep_colidx - i - 1 : i;
 					log(" %s%*s", k == tab_sep_colidx ? "| " : "", tab_column_width[k], row[k].c_str());
 				}
 				log("\n");
 				if (first) {
 					for (size_t i = 0; i < row.size(); i++) {
-						int k = i < tab_sep_colidx ? tab_sep_colidx - i - 1 : i;
+						int k = int(i) < tab_sep_colidx ? tab_sep_colidx - i - 1 : i;
 						log(" %s", k == tab_sep_colidx ? "| " : "");
 						for (int j = 0; j < tab_column_width[k]; j++)
 							log("-");