[m-rev.] diff: fix nightly builds on earth and jupiter

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

Fix the debugger so that it bootstraps with intermodule-optmization
enabled (this broke the nightly builds on jupiter and earth last night.)

browser/declarative_oracle.m:
	Module qualify a call to set.member/2 in order to avoid
	warnings about ambiguity errors when compiling
	with intermodule-optimization.

Julien.

Index: declarative_oracle.m
===================================================================
RCS file: /home/mercury1/repository/mercury/browser/declarative_oracle.m,v
retrieving revision 1.34
diff -u -r1.34 declarative_oracle.m
--- declarative_oracle.m	19 Jan 2005 03:10:17 -0000	1.34
+++ declarative_oracle.m	20 Jan 2005 02:42:02 -0000
@@ -533,7 +533,7 @@
 		->
 			Answer = truth_value(Node, erroneous)
 		;
-			member(Exception, Inadmissible),
+			set.member(Exception, Inadmissible),
 			Answer = truth_value(Node, inadmissible)
 		)
 	).

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