# HG changeset patch
# User sspitsyn
# Date 1371274448 25200
# Node ID 4643c90969f2278b70d2153252b8bc6021f222aa
# Parent  fc13007c036302c5d22b85e2aaebd924dd9d99ac# Parent  c0a9e6c4058c22c2e80f0e842aab7d3a935d79de
Merge

diff -r fc13007c0363 -r 4643c90969f2 hotspot/src/share/vm/prims/jvmti.xml
--- a/hotspot/src/share/vm/prims/jvmti.xml	Fri Jun 14 19:49:58 2013 -0700
+++ b/hotspot/src/share/vm/prims/jvmti.xml	Fri Jun 14 22:34:08 2013 -0700
@@ -1897,7 +1897,7 @@
 	  </description>
 	</param>
 	<param id="monitor_info_ptr">
-	  <allocbuf outcount="owned_monitor_depth_count_ptr">
+	  <allocbuf outcount="monitor_info_count_ptr">
             <struct>jvmtiMonitorStackDepthInfo</struct>
           </allocbuf>
 	  <description>