[m-rev.] trivial diff: suppress a compiler warning

[Julien Fischer]

browser/Mercury.options:
	Shut the compiler up about mdb.dice no longer exporting
	anything.

Julien.

Index: Mercury.options
===================================================================
RCS file: /home/mercury1/repository/mercury/browser/Mercury.options,v
retrieving revision 1.6
diff -u -r1.6 Mercury.options
--- Mercury.options	28 Jan 2005 07:11:37 -0000	1.6
+++ Mercury.options	29 Apr 2005 02:38:34 -0000
@@ -7,6 +7,7 @@
 #-----------------------------------------------------------------------------#

 MCFLAGS-mer_browser = --no-warn-nothing-exported
+MCFLAGS-mdb.dice = --no-warn-nothing-exported

 # XXX Disable higher order specialization for declarative_edt since this
 # optimization has a suspected bug that mdb.declarative_edt.revise_root/3

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