[m-dev.] diff: mdb memory management bug fix

[Fergus Henderson]

On 25-Aug-2000, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> --- mercury_trace_spy.c	2000/08/03 06:19:30	1.9
>  	if (point->spy_when == MR_SPY_LINENO) {
> +		/* Release the storage acquired by MR_copy_string. */
> +		MR_free((void *) point->spy_filename);
> +

The cast to `(void *)' here is not necessary.
Casts like this can hide errors (e.g. if the thing being cast
had type `int'), so I think it is better to omit them.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------