From 62725fb507eb77edab751410c5cba81f273f4092 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 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;