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

[Fergus Henderson]

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?

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