Author: niels
Date: Thu Feb 4 00:06:56 2010
New Revision: 5351
URL: http://svn.gna.org/viewcvs/service-tech?rev=5351&view=rev
Log:
* fixed cppcheck warnings
Modified:
trunk/lola/src/buchi.cc
trunk/lola/src/check.cc
trunk/lola/src/formula.cc
trunk/lola/src/graph.H
trunk/lola/src/graph.cc
trunk/lola/src/ltl.cc
trunk/lola/src/net.cc
trunk/lola/src/path.cc
trunk/lola/src/readnet-syntax.yy
trunk/lola/src/stubborn.cc
trunk/lola/src/sweep.cc
trunk/lola/src/symboltab.cc
trunk/lola/src/symm.cc
trunk/lola/src/tinv.cc
trunk/lola/src/unfold.cc
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
[email protected]. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
