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

* src/twaalgos/remfin.cc: Fix comment.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2015-04-27 17:21:26 +02:00
parent c0bbabc400
commit b1cdab6f95
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/twaalgos/remfin.cc
View file

@ -39,7 +39,7 @@ namespace spot
// this returns the following map:
// {1} => Inf(2)&Inf(4)
// {2,3} => Inf(1)
// {} => Inf(3) | Inf(2)
// {} => Inf(1)&Inf(3) | Inf(1)&Inf(2)
// {4} => t
static std::map<acc_cond::mark_t, acc_cond::acc_code>
split_dnf_acc_by_fin(const acc_cond::acc_code& acc)