hotspot/src/share/vm/oops/klass.hpp
changeset 18439 725ce18186b3
parent 17826 9ad5cd464a75
child 18687 5a0543c157c9
--- a/hotspot/src/share/vm/oops/klass.hpp	Sun Jun 23 22:08:28 2013 -0700
+++ b/hotspot/src/share/vm/oops/klass.hpp	Mon Jun 24 18:55:46 2013 -0400
@@ -703,8 +703,8 @@
   virtual const char* internal_name() const = 0;
 
   // Verification
-  virtual void verify_on(outputStream* st);
-  void verify() { verify_on(tty); }
+  virtual void verify_on(outputStream* st, bool check_dictionary);
+  void verify(bool check_dictionary = true) { verify_on(tty, check_dictionary); }
 
 #ifndef PRODUCT
   void verify_vtable_index(int index);