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

* tests/core/twacube.cc: Remove duplicate line.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2023-11-10 23:00:19 +01:00
parent 5826a40063
commit 13f66e55af
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
tests/core/twacube.cc
View file

@ -80,7 +80,6 @@ int main()
unsigned int seed = 17; unsigned int seed = 17;
auto it = aut->succ(2); auto it = aut->succ(2);
SPOT_ASSUME(it); // GCC 7 warns about potential nullptr. SPOT_ASSUME(it); // GCC 7 warns about potential nullptr.
for (; !it->done(); it->next())
for (; !it->done(); it->next()) for (; !it->done(); it->next())
{ {
auto& t = aut->trans_storage(it, seed); auto& t = aut->trans_storage(it, seed);