From b9af535f3d63ece06fd70dffd676f9d23f0adb96 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sat, 1 Jul 2017 07:57:25 +0200
Subject: [PATCH] * spot/twaalgos/strength.cc: Fix unsigned/signed cmp.

---
 spot/twaalgos/strength.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 ")