From f4476e78c821a2fbd198045991b442e819ec7481 Mon Sep 17 00:00:00 2001
From: Maximilien Colange <colange@lrde.epita.fr>
Date: Tue, 22 May 2018 13:56:11 +0200
Subject: [PATCH] building spot::acc_cond::mark_t from unsigned is deprecated

* spot/twa/acc.hh: here
---
 spot/twa/acc.hh | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/spot/twa/acc.hh b/spot/twa/acc.hh
index 0d911fe36..1cac6c534 100644
--- 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({});