building spot::acc_cond::mark_t from unsigned is deprecated

* spot/twa/acc.hh: here
2018-05-22 13:56:11 +02:00 · 2018-05-22 13:56:11 +02:00 · f4476e78c8
commit f4476e78c8
parent 17532163d2
1 changed files with 13 additions and 0 deletions
--- a/spot/twa/acc.hh
+++ b/spot/twa/acc.hh
@ -66,6 +66,19 @@ namespace spot
      {
      }

+      SPOT_DEPRECATED("use brace initialization instead")
+      mark_t(unsigned i)
+      {
+        unsigned j = 0;
+        while (i)
+          {
+            if (i & 1U)
+              this->set(j);
+            ++j;
+            i >>= 1;
+          }
+      }
+
      static mark_t all()
      {
        mark_t res({});