Update verify.cpp