From 85112b04f37769e4c0edf92b654ef5230627c544 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 30 Sep 2015 19:48:49 +0200 Subject: [PATCH] * src/twa/acc.hh: Fix warning with newer clang++. --- src/twa/acc.hh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/twa/acc.hh b/src/twa/acc.hh index 81d0be41c..105fc2dd0 100644 --- a/src/twa/acc.hh +++ b/src/twa/acc.hh @@ -544,7 +544,7 @@ namespace spot acc_cond::acc_code pair = fin({n++}); acc_cond::mark_t m = 0U; for (unsigned ni = *i; ni > 0; --ni) - m.set({n++}); + m.set(n++); pair.append_and(inf(m)); std::swap(pair, res); res.append_or(std::move(pair));