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