Update verifier.cpp