[m-dev.] diff: fix debugger hp allocation bug

[Fergus Henderson]

On 09-Nov-1998, Peter Ross <petdr at cs.mu.OZ.AU> wrote:
> Just a small typo I found while scanning the code.  I didn't really
> review the code as such.
...
> > -	MR_DI_output_current_nth_var(
> > +    MR_TRACE_CALL_MERCURY(
> > +	ML_DI_output_current_nth_var(
> >  		var,
> >  		(Word) &MR_debugger_socket_out);
> > +    ):
> 
> s/:/;/

Fixed -- thanks.

(The reason that gcc didn't catch that one is that it was inside
`#ifdef MR_USE_EXTERNAL_DEBUGGER'.)

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "Binaries may die
WWW: <http://www.cs.mu.oz.au/~fjh>  |   but source code lives forever"
PGP: finger fjh at 128.250.37.3        |     -- leaked Microsoft memo.