[m-dev.] for review: add option --no-demangle to profiler

[Fergus Henderson]

On 01-Aug-2000, Peter Ross <peter.ross at miscrit.be> wrote:
> Add the option --no-demangle to the profiler.
> This option is needed so that I can debug memory profiling in the hlc
> grades.
...
> --- read.m	1998/03/04 19:59:56	1.9
> +++ read.m	2000/08/01 09:45:01
> +			{ Demangle= no },

s/Demangle=/Demangle =/
                    ^

(This occurs in two places.)

Apart from that, this change looks good.

-- 
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
--------------------------------------------------------------------------