diff options
author | Clifford Wolf <clifford@clifford.at> | 2013-12-07 16:19:24 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2013-12-07 16:19:24 +0100 |
commit | 5de57e9970a76ae99f5baee46c60fc7f34aca772 (patch) | |
tree | 3f86104b639f88cffb9cfd9ecaed0c68299cec6e | |
parent | 97aa421ad8c6779c07e7fd668b7bc1509ad2d2a4 (diff) | |
download | yosys-5de57e9970a76ae99f5baee46c60fc7f34aca772.tar.gz yosys-5de57e9970a76ae99f5baee46c60fc7f34aca772.tar.bz2 yosys-5de57e9970a76ae99f5baee46c60fc7f34aca772.zip |
Fixed compiler warining in passes/sat/eval.cc
-rw-r--r-- | passes/sat/eval.cc | 4 |
1 files changed, 2 insertions, 2 deletions
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("-"); |