diff --git a/pl/consult.yap b/pl/consult.yap index 506a702f1..bf4ade782 100644 --- a/pl/consult.yap +++ b/pl/consult.yap @@ -476,8 +476,8 @@ remove_from_path(New) :- '$check_path'(New,Path), '$add_multifile'(File,Name,Arity,Module). '$add_multifile'(File,Name,Arity,Module) :- - recorded('$multifile_defs','$defined'(File,Name,Arity,Module), _), !, - print_message(warning,declaration((multifile Module:Name/Arity),ignored)). + recorded('$multifile_defs','$defined'(File,Name,Arity,Module), _), !. +% print_message(warning,declaration((multifile Module:Name/Arity),ignored)). '$add_multifile'(File,Name,Arity,Module) :- recordz('$multifile_defs','$defined'(File,Name,Arity,Module),_), !, fail.