diff --git a/tests/core/twacube.cc b/tests/core/twacube.cc
index 1a2cd73a8..43118d6a5 100644
--- a/tests/core/twacube.cc
+++ b/tests/core/twacube.cc
@@ -80,7 +80,6 @@ int main()
   unsigned int seed = 17;
   auto it = aut->succ(2);
   SPOT_ASSUME(it); // GCC 7 warns about potential nullptr.
-  for (; !it->done(); it->next())
   for (; !it->done(); it->next())
     {
       auto& t = aut->trans_storage(it, seed);