Fixed compiler warining in passes/sat/eval.cc

diff --git a/passes/sat/eval.cc b/passes/sat/eval.cc
index 2ae74063fe887743662b6811b23db034ce97e425..5d0d35b6923ec94e1ef7cb60883e5e72499eb1f4 100644 (file)
--- 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("-");