[m-dev.] diff: fix memory leak in io.m

[Robert Jeschofnik]

On 12-Dec-2000, Peter Ross <peter.ross at miscrit.be> wrote:
> Hi,
> 
> 
> ===================================================================
> 
> 
> Estimated hours taken: 40
> 
> Fix a memory leak in `io.m'.
> 
> io.m:
>     Before closing a stream delete the stream_name.  Otherwise their is
>     still a live reference to the MercuryFile structure in the
>     stream_name tree.  Hence the MercuryFile structure will never be garbage
>     collected.

s/their/there


rob
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------