delete_file changed in 6.3.
This commit is contained in:
parent
00d8c79473
commit
ff84eaf782
@ -229,7 +229,7 @@
|
|||||||
%========================================================================
|
%========================================================================
|
||||||
|
|
||||||
delete_file_silently(File) :-
|
delete_file_silently(File) :-
|
||||||
delete_file(File),
|
catch(delete_file(File),_,fail),
|
||||||
!.
|
!.
|
||||||
delete_file_silently(_).
|
delete_file_silently(_).
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user