riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Fixed compiler warining in passes/sat/eval.cc

This commit is contained in:
Clifford Wolf 2013-12-07 16:19:24 +01:00
parent 97aa421ad8
commit 5de57e9970
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
passes/sat/eval.cc
View File

@ -585,13 +585,13 @@ struct EvalPass : public Pass {
bool first = true; bool first = true;
for (auto &row : tab) { for (auto &row : tab) {
for (size_t i = 0; i < row.size(); i++) { 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(" %s%*s", k == tab_sep_colidx ? "| " : "", tab_column_width[k], row[k].c_str());
} }
log("\n"); log("\n");
if (first) { if (first) {
for (size_t i = 0; i < row.size(); i++) { 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 ? "| " : ""); log(" %s", k == tab_sep_colidx ? "| " : "");
for (int j = 0; j < tab_column_width[k]; j++) for (int j = 0; j < tab_column_width[k]; j++)
log("-"); log("-");