From 03ff789324ff14c99951486052a173b182650f81 Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Wed, 15 Mar 2017 09:32:12 +0100
Subject: [PATCH] mark_t::operator bool() is now explicit

Follows up cf5d2c2b.

* spot/mc/ec.hh: here.
---
 spot/mc/ec.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spot/mc/ec.hh b/spot/mc/ec.hh
index 3dc1db448..74079105b 100644
--- a/spot/mc/ec.hh
+++ b/spot/mc/ec.hh
@@ -185,7 +185,7 @@ namespace spot
                       // -example and flush the bfs queue.
                       auto mark = this->twa_->trans_data(front->it_prop,
                                                          this->tid_).acc_;
-                      if (!acc.has(mark.id))
+                      if (!(acc & mark))
                         {
                           ctrx_element* current = front;
                           while (current != nullptr)