tree 9815ed2402e6a285ff994393beddfd4075ef3f8c
parent faaa1a642cd7ae131df1098487f01ac74de2b66e
author Bart De Schuymer <bdschuym@pandora.be> 1313087748 +0000
committer Bart De Schuymer <bdschuym@pandora.be> 1313087748 +0000

small changes to remove warnings when optimization is on (thanks to Peter Volkov)