[m-rev.] Fix solver type issues in clpr interface

[Julien Fischer]

On Tue, 1 Mar 2005, Ralph Becket wrote:

> Estimated hours taken: 0.25
> Branches: main, version-0_12-branch
>
> extras/clpr/cfloat.m:
> 	Update the solver type syntax.
>
> extras/clpr/samples/tranny.m:
> 	Remove the list/1 inst which is now provided by list.m.
>
I've committed this.

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