[m-dev.] diff: fix variants display on the shopper screen.

[Peter Ross]

Peter Ross wrote:

>Hi,
>
>
>===================================================================
>
>
>Coverages with variants used to be represented by an intial selection
>to choose the coverage and then a secondary selection to choose which
>variant one wants.  This change removes the intial selection.
>
>mas/mas.m:
>	Remove the intial boolean question for a coverage with
>	variants.
>  
>
I've got to stop sending these to the wrong list, fingers on autopilot 
again!
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------