From fe478a856940b41407efff84e2b15e52bdbe5a19 Mon Sep 17 00:00:00 2001 From: Julien Fischer Date: Fri, 20 Apr 2007 03:46:26 +0000 Subject: [PATCH] Avoid ambiguity warnings with --intermodule-optimization. Estimated hours taken: 0. Branches: main compiler/xml_documentation.m: Avoid ambiguity warnings with --intermodule-optimization. --- compiler/xml_documentation.m | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/xml_documentation.m b/compiler/xml_documentation.m index 39a5a3381..33d3f950d 100644 --- a/compiler/xml_documentation.m +++ b/compiler/xml_documentation.m @@ -324,7 +324,7 @@ get_comment_backwards(Comments, Line) = Comment :- import_documentation(InterfaceImportedModules, ImportedModule, !Xmls) :- XmlName = name(ImportedModule), - ( ImportedModule `member` InterfaceImportedModules -> + ( ImportedModule `set.member` InterfaceImportedModules -> XmlVisibility = visibility(status_exported) ; XmlVisibility = visibility(status_local)