mark_t::operator bool() is now explicit

Follows up cf5d2c2b. * spot/mc/ec.hh: here.

mark_t::operator bool() is now explicit
Follows up cf5d2c2b. * spot/mc/ec.hh: here.
5a16a547 · Etienne Renault · d58ff04a · 5a16a547
Commit 5a16a547 authored Mar 15, 2017 by Etienne Renault
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

spot/mc/ec.hh spot/mc/ec.hh +1 -1

No files found.
--- 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)