Provide alias deallocate_wrk for free_wrk. Document and use.

This commit is contained in:
sfilippone
2025-02-23 10:46:45 +01:00
parent 2e79105695
commit f6349d34d1
11 changed files with 10 additions and 6 deletions
+2 -2
View File
@@ -3238,12 +3238,12 @@ class="td11"> </td> </tr></table>
<h5 class="subsubsectionHead"><span class="titlemark"><span
class="cmr-12">5.9.5 </span></span> <a
id="x8-300005.9.5"></a><span
class="cmr-12">Method: free</span><span
class="cmr-12">Method: deallocate</span><span
class="cmr-12">_wrk</span></h5>
<div class="center"
>
<!--l. 1031--><p class="noindent" >
<!--l. 1032--><p class="noindent" ><code class="lstinline"><span style="color:#000000">call</span><span style="color:#000000"> </span><span style="color:#000000">p</span><span style="color:#000000">%</span><span style="color:#000000">free_wrk</span><span style="color:#000000">(</span><span style="color:#000000">info</span><span style="color:#000000">)</span></code><br />
<!--l. 1032--><p class="noindent" ><code class="lstinline"><span style="color:#000000">call</span><span style="color:#000000"> </span><span style="color:#000000">p</span><span style="color:#000000">%</span><span style="color:#000000">deallocate_wrk</span><span style="color:#000000">(</span><span style="color:#000000">info</span><span style="color:#000000">)</span></code><br />
</div>