Fix a warning in debug mode
authorMarco Costalba <mcostalba@gmail.com>
Tue, 3 May 2011 18:29:21 +0000 (19:29 +0100)
committerMarco Costalba <mcostalba@gmail.com>
Tue, 3 May 2011 18:29:21 +0000 (19:29 +0100)
commitf7fee4c6165922b589727e6564430673379e5f30
tree2d277947f40e4f0733aa077cfab71e43dce32b5c
parent315c58354e3c4e9e1f71fc3ead1c1e0b093756c9
Fix a warning in debug mode

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
src/evaluate.cpp