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

spacing

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2003-07-02 14:28:24 +00:00
parent 0fe98c6d18
commit 3281b6e9b3
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tgba/tgbabddcoredata.cc
View file

@ -109,7 +109,7 @@ namespace spot
negacc_set &= !acc; negacc_set &= !acc;
} }
void void
tgba_bdd_core_data::translate(bddPair* rewrite) tgba_bdd_core_data::translate(bddPair* rewrite)
{ {
relation = bdd_replace(relation, rewrite); relation = bdd_replace(relation, rewrite);