Commit ce5da5cd authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* spot/twaalgos/postproc.cc: Typo.

parent 2bcaff13
...@@ -382,7 +382,7 @@ namespace spot ...@@ -382,7 +382,7 @@ namespace spot
{ {
if (type_ == Generic) if (type_ == Generic)
throw std::runtime_error 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; unsigned target_acc;
if (type_ == BA) if (type_ == BA)
target_acc = 1; target_acc = 1;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment