CVSROOT: /cvs/kaffe Module name: kaffe Changes by: rob 03/08/12 13:49:55 Modified files: kaffe/kaffevm : verify.h Log message: Forgot it last time.