another victim of system name change
This commit is contained in:
parent
28cc9171c3
commit
3efe7a067a
@ -828,7 +828,7 @@ absolute_file_name(File,Opts,TrueFileName) :-
|
|||||||
atom_codes(File, L).
|
atom_codes(File, L).
|
||||||
|
|
||||||
'$get_abs_file'(File,opts(_,D0,_,_,_,_,_),AbsFile) :-
|
'$get_abs_file'(File,opts(_,D0,_,_,_,_,_),AbsFile) :-
|
||||||
system:true_file_name(File,D0,AbsFile).
|
operating_system_support:true_file_name(File,D0,AbsFile).
|
||||||
|
|
||||||
'$search_in_path'(File,opts(Extensions,_,_,Access,_,_,_),F) :-
|
'$search_in_path'(File,opts(Extensions,_,_,Access,_,_,_),F) :-
|
||||||
'$add_extensions'(Extensions,File,F),
|
'$add_extensions'(Extensions,File,F),
|
||||||
|
Reference in New Issue
Block a user