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

* src/tgbaalgos/ndfs_result.hxx (ndfs_result::construct_prefix):

Browse source 
Initialize tmp to suppress a GCC 4.0 warning.
* src/ltltest/randltl.cc (main): Likewise with another variable.
This commit is contained in:
Alexandre Duret-Lutz 2005-09-06 13:15:15 +00:00
parent 048a5825de
commit 5b6e79ad96
3 changed files with 8 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ltltest/randltl.cc
View file

@ -169,7 +169,7 @@ main(int argc, char** argv)
while (max_tries_u--)
{
spot::srand(opt_s++);
spot::ltl::formula* f;
spot::ltl::formula* f = 0;
int max_tries_r = 1000;
while (max_tries_r--)
{