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

Kill a g++-4.2 warning.

Browse source 
* src/tgba/tgbacomplement.cc (state_complement::state_complement)
explicitly initialize the base class spot::state.
This commit is contained in:
Alexandre Duret-Lutz 2009-06-11 18:35:01 +02:00
parent e0a8114f06
commit d1cf819540
2 changed files with 8 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

7
ChangeLog
View file

@ -1,3 +1,10 @@
2009-06-11 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Kill a g++-4.2 warning.
* src/tgba/tgbacomplement.cc (state_complement::state_complement)
explicitly initialize the base class spot::state.
2009-06-10 Guillaume Sadegh <sadegh@lrde.epita.fr>
During the complementation, transform the auxiliary Streett

1
src/tgba/tgbacomplement.cc
View file

@ -906,6 +906,7 @@ namespace spot
}
state_complement::state_complement(const state_complement& other)
: state()
{
U = other.U;
L = other.L;