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

ltsmin: register dead only if it is an atomic proposition

Browse source 
* spot/ltsmin/ltsmin.cc: Here.  This fixes 5a441e1b.
This commit is contained in:
Alexandre Duret-Lutz 2017-01-21 18:23:31 +01:00
parent 5a441e1b93
commit 423136a6e0
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
spot/ltsmin/ltsmin.cc
View file

@ -1118,7 +1118,8 @@ namespace spot
// twa::ap() works. // twa::ap() works.
for (auto ap: *to_observe) for (auto ap: *to_observe)
res->register_ap(ap); res->register_ap(ap);
res->register_ap(dead); if (dead.is(op::ap))
res->register_ap(dead);
return res; return res;
} }