From 43b580ccee1aa4755b9cb0529094a9efdb0d08a3 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sat, 11 Nov 2017 08:45:29 +0100
Subject: [PATCH] fix some g++-snapshot warnings

* spot/twaalgos/couvreurnew.cc: explicit operator bool is not used by
return.
---
 spot/twaalgos/couvreurnew.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/spot/twaalgos/couvreurnew.cc b/spot/twaalgos/couvreurnew.cc
index d99282400..4f90d9b2d 100644
--- a/spot/twaalgos/couvreurnew.cc
+++ b/spot/twaalgos/couvreurnew.cc
@@ -613,14 +613,14 @@ namespace spot
         }
 
         // Handy cast operators.
-        // Note that a pointer can be cast to a Boolean as usual.
         operator bool() const
         {
           if (tag == BOOL)
             return res;
           else
-            return ecr;
+            return !!ecr;
         }
+
         operator emptiness_check_result_ptr() const
         {
           if (tag == PTR)