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

* spot/twaalgos/postproc.cc: Typo.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2016-05-17 15:40:40 +02:00
parent c94787b7d9
commit 0605181c7a
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/twaalgos/postproc.cc
View file

@ -382,7 +382,7 @@ namespace spot
{
if (type_ == Generic)
throw std::runtime_error
("postproc() no yet updated to mix sat-minimize and Generic");
("postproc() not yet updated to mix sat-minimize and Generic");
unsigned target_acc;
if (type_ == BA)
target_acc = 1;