diff --git a/spot/twaalgos/strength.cc b/spot/twaalgos/strength.cc index f82af1e29..24578f268 100644 --- a/spot/twaalgos/strength.cc +++ b/spot/twaalgos/strength.cc @@ -243,7 +243,7 @@ namespace spot { char* endptr; long int scc = strtol(keep_opt - 1, &endptr, 10); - if (scc >= n) + if ((long unsigned) scc >= n) { throw std::runtime_error (std::string("decompose_scc(): there is no SCC ")