Index: src/verifier-3363/base/tpool.cpp =================================================================== --- src/verifier-3363/base/tpool.cpp (revision 595349) +++ src/verifier-3363/base/tpool.cpp (working copy) @@ -273,13 +273,13 @@ if( referred == CLASS_NOT_LOADED ) { //referred class can't be resolved ==> it's not a super class -//#ifndef NDEBUG -// class_handler k = k_class; -// while(k) { -// assert(strcmp(class_get_name(k), expected_type->name)); -// k = class_get_super_class(k); -// } -//#endif +#ifndef NDEBUG + class_handler k = k_class; + while(k) { + assert(strcmp(class_get_name(k), expected_type->name)); + k = class_get_super_class(k); + } +#endif return false; }