From ff84eaf782fef185b444c477f85bf4ad96ea9cf4 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Tue, 20 Sep 2011 14:50:24 +0100
Subject: [PATCH] delete_file changed in 6.3.

---
 packages/ProbLog/problog/utils.yap | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/ProbLog/problog/utils.yap b/packages/ProbLog/problog/utils.yap
index fad3f2326..1082bdaeb 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(_).