From fa24cca76c727d15cb27cbafee9bff1dc5710b85 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 29 Oct 2018 11:26:25 +0100
Subject: [PATCH] parseaut: fix signed/unsigned comparison warning

* spot/parseaut/parseaut.yy: Here.
---
 spot/parseaut/parseaut.yy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spot/parseaut/parseaut.yy b/spot/parseaut/parseaut.yy
index bcb3685e3..08270fc76 100644
--- a/spot/parseaut/parseaut.yy
+++ b/spot/parseaut/parseaut.yy
@@ -716,7 +716,7 @@ aps: "AP:" INT
                  if (i != res.ap[i])
                    bdd_setbddpair(pair, i, res.ap[i]);
                bdd extra = bddtrue;
-               for (unsigned i = apsize; i <= res.unknown_ap_max; ++i)
+               for (int i = apsize; i <= res.unknown_ap_max; ++i)
                  extra &= bdd_ithvar(i);
                for (auto& p: res.alias)
                  p.second = bdd_restrict(bdd_replace(p.second, pair), extra);