From b9cac2cedb6ba72bdd79f3c90683a75bf433d459 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 12 Dec 2019 13:23:51 +0100
Subject: [PATCH] * spot/twaalgos/emptiness.cc: Fix another gcc-snapshot
 warning.

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

diff --git a/spot/twaalgos/emptiness.cc b/spot/twaalgos/emptiness.cc
index 0f044c900..d07fd938f 100644
--- a/spot/twaalgos/emptiness.cc
+++ b/spot/twaalgos/emptiness.cc
@@ -848,7 +848,7 @@ namespace spot
             p.first->second = ns;
             if (names)
               {
-                assert(ns = names->size());
+                assert(ns == names->size());
                 names->push_back(aut->format_state(next));
               }
           }