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

* src/tgbaalgos/emptiness.cc: Suppress a horrible space before a ')'.

Browse source
This commit is contained in:
Denis Poitrenaud 2004-12-08 18:14:46 +00:00
parent 446b85a842
commit d645e0ac54
2 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
ChangeLog
View file

@ -1,4 +1,8 @@
2004-12-07 Denis Poitrenaud <Denis.Poitrenaud@lip6.fr> 2004-12-08 Denis Poitrenaud <Denis.Poitrenaud@lip6.fr>
* src/tgbaalgos/emptiness.cc: Suppress a horrible space before a ')'.
2004-12-08 Denis Poitrenaud <Denis.Poitrenaud@lip6.fr>
* src/tgba/tgbaexplicit.hh, src/tgba/tgbaexplicit.cc * src/tgba/tgbaexplicit.hh, src/tgba/tgbaexplicit.cc
(set_init_state): Return a pointer to the initial state. (set_init_state): Return a pointer to the initial state.

2
src/tgbaalgos/emptiness.cc
View file

@ -148,7 +148,7 @@ namespace spot
++number; ++number;
seen.insert(std::make_pair(i->s, source)); seen.insert(std::make_pair(i->s, source));
for (; i != l->end(); ) for (; i != l->end();)
{ {
// expected outgoing transition // expected outgoing transition
bdd label = i->label; bdd label = i->label;