alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* src/twa/acc.hh: Fix warning with newer clang++.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2015-09-30 19:48:49 +02:00
parent 7c5f345d68
commit 85112b04f3
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/twa/acc.hh
View file

@ -544,7 +544,7 @@ namespace spot
acc_cond::acc_code pair = fin({n++}); acc_cond::acc_code pair = fin({n++});
acc_cond::mark_t m = 0U; acc_cond::mark_t m = 0U;
for (unsigned ni = *i; ni > 0; --ni) for (unsigned ni = *i; ni > 0; --ni)
m.set({n++}); m.set(n++);
pair.append_and(inf(m)); pair.append_and(inf(m));
std::swap(pair, res); std::swap(pair, res);
res.append_or(std::move(pair)); res.append_or(std::move(pair));