Corrected bug in the processing of the option file_errors/1 for absolute_file_name/3.
This commit is contained in:
parent
b849d3a86d
commit
8f8e62ea63
@ -696,7 +696,7 @@ absolute_file_name(File,Opts,TrueFileName) :-
|
|||||||
;
|
;
|
||||||
nb:nb_queue_close(Ref, FileNames, [])
|
nb:nb_queue_close(Ref, FileNames, [])
|
||||||
),
|
),
|
||||||
'$absolute_file_names'(Solutions, FileNames, FError, TrueFileName, File, G).
|
'$absolute_file_names'(Solutions, FileNames, FErrors, TrueFileName, File, G).
|
||||||
|
|
||||||
'$absolute_file_names'(Solutions, [], error, _, File, G) :- !,
|
'$absolute_file_names'(Solutions, [], error, _, File, G) :- !,
|
||||||
'$do_error'(existence_error(file,File),G).
|
'$do_error'(existence_error(file,File),G).
|
||||||
|
Reference in New Issue
Block a user