Update verifier.c