> This is a fix for a bug I reported to mercury-bugs yesterday. Would > someone please review it. > > David > > Estimated hours taken: 0.5 > > Fix a bug with quoting of module-qualified terms in .opt files. > Add a test case for this bug. That looks fine, thanks. Simon.