[m-dev.] Tdiff: termination analysis (BIG!)

[Fergus Henderson]

Christopher Rodd SPEIRS, you wrote:
> 
> compiler/dnf.m:
> compiler/lambda.m:
> 	Added an initialised termination structure to the call to
> 	proc_info_create.

I think it would be better to modify the body of proc_info_create instead.
Can you please change this?

(There was another minor problem, which was that you imported both
`termination' and `term_util': one of these imports must have been
redundent.  But since I'm asking you to undo this change, that's
neither here nor there.)

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