Update pop.xml

corr
csound · May 7, 2024 · e5acee6 · e5acee6
1 parent 31e5ed1
commit e5acee6
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/opcodes/pop.xml b/opcodes/pop.xml
@@ -54,7 +54,6 @@
       Any stack errors (trying to push when there is no more space, or pop from an empty stack, inconsistent number or type of arguments, etc.) are fatal and terminate performance.
     </para>
   </refsect1>
-  <refsect1>
 
   <refsect1>
     <title>Examples</title>