[m-dev.] trivial diff: bugfix in termination.m

[Christopher Rodd SPEIRS]

> 
> Christopher Rodd SPEIRS, you wrote:
> > 
> > Fixed a bug in termination.m.  When writing intermodule optimization
> > information, place it into <module>.opt.tmp.  It used to be placed into
> > <module>.opt which was then overwritten by update_interface.  This
> > change also fixes another bug.  If the compiler was run with the -v
> > option, the "% Checking termination ..." message was printed out twice,
> > once in mercury_compile.m, and once in termination.m. 
> 
> That looks good, but can we please have a regression test?

You most certainly can have a regression test, but it will have to wait
till after exams.  Ill do all the tests for termination analysis then.

Chris