# HG changeset patch
# User sspitsyn
# Date 1371274448 25200
# Node ID 7fa28f3d3f62dd167aecd3967a1836149072caaf
# Parent  c7242a797916201dccee6a70c8de70c15a80e509# Parent  5c89346f2bdd47d8fbf0673afe7e0af395ad4a7f
Merge

diff -r c7242a797916 -r 7fa28f3d3f62 src/share/vm/prims/jvmti.xml
--- a/src/share/vm/prims/jvmti.xml	Fri Jun 14 19:49:58 2013 -0700
+++ b/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>