diff --git a/packages/ProbLog/problog/utils.yap b/packages/ProbLog/problog/utils.yap index fad3f2326..68c72c4a7 100644 --- a/packages/ProbLog/problog/utils.yap +++ b/packages/ProbLog/problog/utils.yap @@ -229,7 +229,7 @@ %======================================================================== delete_file_silently(File) :- - delete_file(File), + catch(delete_file(File), _, fail), !. delete_file_silently(_).