hotspot/src/share/vm/memory/genCollectedHeap.hpp
changeset 3262 30d1c247fc25
parent 2105 347008ce7984
child 3908 24b55ad4c228
--- a/hotspot/src/share/vm/memory/genCollectedHeap.hpp	Fri Jul 10 16:01:20 2009 -0700
+++ b/hotspot/src/share/vm/memory/genCollectedHeap.hpp	Tue Jul 14 15:40:39 2009 -0700
@@ -325,7 +325,7 @@
   void prepare_for_verify();
 
   // Override.
-  void verify(bool allow_dirty, bool silent);
+  void verify(bool allow_dirty, bool silent, bool /* option */);
 
   // Override.
   void print() const;