From 0f3ffd59cec1f152733c07458078f8a21ca1edc8 Mon Sep 17 00:00:00 2001
From: Florian Renkin <frenkin@lrde.epita.fr>
Date: Tue, 12 Apr 2022 11:21:14 +0200
Subject: [PATCH] ltlsynt: don't solve games when we want to display them

* bin/ltlsynt.cc: here
---
 bin/ltlsynt.cc | 2 ++
 1 file changed, 2 insertions(+)

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;