std::vector::size() returns unsigned int => static_cast required.
Authored by: doerfler 2004-08-05
Parent: [r1349]
Child: [r1351]