From 566d8e5c87faee65a82a30c2498c0ff8ceb25c50 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 18 Oct 2017 15:23:12 +0200
Subject: [PATCH] acc: simplify mark_t::subset()

* spot/twa/acc.hh: Here.
---
 spot/twa/acc.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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