--- old/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.debug/src/org/graalvm/compiler/debug/DebugVerifyHandler.java	2017-07-07 09:29:54.000000000 -0700
+++ new/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.debug/src/org/graalvm/compiler/debug/DebugVerifyHandler.java	2017-07-07 09:29:54.000000000 -0700
@@ -25,14 +25,16 @@
 /**
  * Performs some kind of verification on an object.
  */
-public interface DebugVerifyHandler {
+public interface DebugVerifyHandler extends DebugHandler {
 
     /**
      * Verifies that a given object satisfies some invariants.
      *
      * @param object object to verify
-     * @param format description of verification context
-     * @param args arguments for the format
+     * @param debug the debug context requesting the dump
+     * @param format a format string specifying a title that describes the context of the
+     *            verification (e.g., the compiler phase in which request is made)
+     * @param arguments arguments referenced by the format specifiers in {@code format}
      */
-    void verify(Object object, String format, Object... args);
+    void verify(DebugContext debug, Object object, String format, Object... arguments);
 }