From b3e994c249d8b9aba80775cb06513748ba7473dd Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 22 Jul 2022 10:54:15 +0200
Subject: [PATCH] * spot/twaalgos/hoa.cc: Typo in error message.

---
 spot/twaalgos/hoa.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spot/twaalgos/hoa.cc b/spot/twaalgos/hoa.cc
index 0e03b07f5..e6147afda 100644
--- a/spot/twaalgos/hoa.cc
+++ b/spot/twaalgos/hoa.cc
@@ -794,7 +794,7 @@ namespace spot
         os << (v1_1 ? "spot." : "spot-") << "state-player:";
         if (player->size() != num_states)
           throw std::runtime_error("print_hoa(): state-player property has"
-                                   " (" + std::to_string(player->size()) +
+                                   " " + std::to_string(player->size()) +
                                    " states but automaton has " +
                                    std::to_string(num_states));
         unsigned n = 0;