diff --git a/bin/ltlsynt.cc b/bin/ltlsynt.cc
index f5b2ade51..5ffa22f39 100644
--- a/bin/ltlsynt.cc
+++ b/bin/ltlsynt.cc
@@ -395,6 +395,8 @@ namespace
                      && "Env needs first turn");
             }
           print_game(arena);
+          if (want_game)
+            continue;
           if (!spot::solve_game(arena, *gi))
             {
               std::cout << "UNREALIZABLE" << std::endl;