hotspot/src/share/vm/memory/genCollectedHeap.hpp
changeset 9995 290620c08233
parent 9935 51267b5e1a3d
child 9997 b75b7939f448
--- a/hotspot/src/share/vm/memory/genCollectedHeap.hpp	Tue Jun 14 10:33:43 2011 -0400
+++ b/hotspot/src/share/vm/memory/genCollectedHeap.hpp	Tue Jun 14 11:01:10 2011 -0700
@@ -361,7 +361,7 @@
   void prepare_for_verify();
 
   // Override.
-  void verify(bool allow_dirty, bool silent, bool /* option */);
+  void verify(bool allow_dirty, bool silent, VerifyOption option);
 
   // Override.
   void print() const;