Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3

This commit is contained in:
Joao 2011-09-21 15:36:16 +01:00
commit 42556ab91d

View File

@ -229,7 +229,7 @@
%========================================================================
delete_file_silently(File) :-
delete_file(File),
catch(delete_file(File),_,fail),
!.
delete_file_silently(_).