Commit cda9c2a1 authored by Etienne Renault's avatar Etienne Renault

mark_t::operator bool() is now explicit

Follows up cf5d2c2b.

* spot/mc/ec.hh: here.
parent fde6e29d
...@@ -185,7 +185,7 @@ namespace spot ...@@ -185,7 +185,7 @@ namespace spot
// -example and flush the bfs queue. // -example and flush the bfs queue.
auto mark = this->twa_->trans_data(front->it_prop, auto mark = this->twa_->trans_data(front->it_prop,
this->tid_).acc_; this->tid_).acc_;
if (!acc.has(mark.id)) if (!(acc & mark))
{ {
ctrx_element* current = front; ctrx_element* current = front;
while (current != nullptr) while (current != nullptr)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment