[mercury-users] --intermod-opt + --ctgc, bug or unimplemented?

[Chris King]

On Mon, Apr 4, 2011 at 3:03 AM, Peter Wang <novalazy at gmail.com> wrote:
> It's a bug (#188).

Ah, thanks.

(Note to self: check bug database -> ask on mailing list -> report bug!)
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------