xaiger: update help text

[yosys.git] / kernel / calc.cc

diff --git a/kernel/calc.cc b/kernel/calc.cc
index 93d592f35fb05ab5754e2b012a1d71aefb6d86c1..4a48407717f0342ba8f5d7d70528e7856b20b177 100644 (file)
--- a/kernel/calc.cc
+++ b/kernel/calc.cc
@@ -291,7 +291,7 @@ static RTLIL::Const const_shift_worker(const RTLIL::Const &arg1, const RTLIL::Co
                BigInteger pos = BigInteger(i) + offset;
                if (pos < 0)
                        result.bits[i] = RTLIL::State::S0;
-               else if (pos >= BigInteger(arg1.bits.size()))
+               else if (pos >= BigInteger(int(arg1.bits.size())))
                        result.bits[i] = sign_ext ? arg1.bits.back() : RTLIL::State::S0;
                else
                        result.bits[i] = arg1.bits[pos.toInt()];
@@ -342,7 +342,7 @@ static RTLIL::Const const_shift_shiftx(const RTLIL::Const &arg1, const RTLIL::Co
 
        for (int i = 0; i < result_len; i++) {
                BigInteger pos = BigInteger(i) + offset;
-               if (pos < 0 || pos >= BigInteger(arg1.bits.size()))
+               if (pos < 0 || pos >= BigInteger(int(arg1.bits.size())))
                        result.bits[i] = other_bits;
                else
                        result.bits[i] = arg1.bits[pos.toInt()];