[m-rev.] diff: fix compilation of debugger

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

browser/declarative_oracle.m:
	Module qualify some calls to prevent ambiguous
	overloadings that were causing compilation errors
	when compiling the debugger with intermodule-optimization
	enabled.

Julien.

Index: declarative_oracle.m
===================================================================
RCS file: /home/mercury1/repository/mercury/browser/declarative_oracle.m,v
retrieving revision 1.25
diff -u -r1.25 declarative_oracle.m
--- declarative_oracle.m	20 Sep 2004 04:50:22 -0000	1.25
+++ declarative_oracle.m	20 Sep 2004 07:39:34 -0000
@@ -434,9 +434,9 @@
 	(
 		ProcId = proc(Module, PredOrFunc, _, Name, Arity, _),
 		(
-			member(all(Module), Oracle ^ trusted)
+			set.member(all(Module), Oracle ^ trusted)
 		;
-			member(specific(PredOrFunc, Module, Name, Arity),
+			set.member(specific(PredOrFunc, Module, Name, Arity),
 				Oracle ^ trusted)
 		)
 	;

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