--- a/hotspot/src/share/vm/memory/universe.hpp	Fri Jul 10 16:01:20 2009 -0700
+++ b/hotspot/src/share/vm/memory/universe.hpp	Tue Jul 14 15:40:39 2009 -0700
@@ -398,7 +398,7 @@
 
   // Debugging
   static bool verify_in_progress() { return _verify_in_progress; }
-  static void verify(bool allow_dirty = true, bool silent = false);
+  static void verify(bool allow_dirty = true, bool silent = false, bool option = true);
   static int  verify_count()                  { return _verify_count; }
   static void print();
   static void print_on(outputStream* st);