fix unnecesary warnings for multifile (obs from Paulo Moura).
This commit is contained in:
parent
a45da5f722
commit
2dae7fd5ef
@ -476,8 +476,8 @@ remove_from_path(New) :- '$check_path'(New,Path),
|
|||||||
'$add_multifile'(File,Name,Arity,Module).
|
'$add_multifile'(File,Name,Arity,Module).
|
||||||
|
|
||||||
'$add_multifile'(File,Name,Arity,Module) :-
|
'$add_multifile'(File,Name,Arity,Module) :-
|
||||||
recorded('$multifile_defs','$defined'(File,Name,Arity,Module), _), !,
|
recorded('$multifile_defs','$defined'(File,Name,Arity,Module), _), !.
|
||||||
print_message(warning,declaration((multifile Module:Name/Arity),ignored)).
|
% print_message(warning,declaration((multifile Module:Name/Arity),ignored)).
|
||||||
'$add_multifile'(File,Name,Arity,Module) :-
|
'$add_multifile'(File,Name,Arity,Module) :-
|
||||||
recordz('$multifile_defs','$defined'(File,Name,Arity,Module),_), !,
|
recordz('$multifile_defs','$defined'(File,Name,Arity,Module),_), !,
|
||||||
fail.
|
fail.
|
||||||
|
Reference in New Issue
Block a user