diff --git a/spot/twa/acc.hh b/spot/twa/acc.hh index 34a3a7683..e17f7feae 100644 --- a/spot/twa/acc.hh +++ b/spot/twa/acc.hh @@ -219,7 +219,7 @@ namespace spot bool subset(mark_t m) const { - return this->strip(m) == 0U; + return (*this) - m == 0U; } bool proper_subset(mark_t m) const