ltlsynt: don't solve games when we want to display them

* bin/ltlsynt.cc: here
2022-04-12 11:21:14 +02:00 · 2022-04-12 11:21:14 +02:00 · 62725fb507
commit 62725fb507
parent 55aac8e107
1 changed files with 2 additions and 0 deletions
--- 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;