[m-rev.] diff: mdprof_dump --restrict-statics

[Ralph Becket]

Julien Fischer, Wednesday,  8 June 2005:
> 
> Estimated hours taken: 1
> Branches: main
> 
> deep_profiler/dump.m:
> 	Complete the '--restrict-statics' option for the mdprof_dump
> 	tool so that it also includes call site statics.

Looks good to me.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------