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;