From 13f66e55af581084e25b03289ac0e57fa40f2f41 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 10 Nov 2023 23:00:19 +0100
Subject: [PATCH] * tests/core/twacube.cc: Remove duplicate line.

---
 tests/core/twacube.cc | 1 -
 1 file changed, 1 deletion(-)

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);