hotspot/src/share/vm/utilities/debug.cpp
changeset 14076 84643cfaeaa8
parent 13761 46489cdfa479
child 14583 d70ee55535f4
--- a/hotspot/src/share/vm/utilities/debug.cpp	Tue Oct 09 22:12:25 2012 +0200
+++ b/hotspot/src/share/vm/utilities/debug.cpp	Mon Oct 15 10:02:42 2012 -0700
@@ -477,7 +477,7 @@
   }
   // Ensure Eden top is correct before verification
   Universe::heap()->prepare_for_verify();
-  Universe::verify(true);
+  Universe::verify();
   if (!safe) SafepointSynchronize::set_is_not_at_safepoint();
 }