alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* spot/twaalgos/hoa.cc: Typo in error message.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2022-07-22 10:54:15 +02:00
parent 444e2b5b89
commit b3e994c249
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/twaalgos/hoa.cc
View file

@ -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;