fix ProbLog error.
This commit is contained in:
parent
9727f3c71c
commit
1130a3536d
@ -229,7 +229,7 @@
|
||||
%========================================================================
|
||||
|
||||
delete_file_silently(File) :-
|
||||
delete_file(File),
|
||||
catch(delete_file(File), _, fail),
|
||||
!.
|
||||
delete_file_silently(_).
|
||||
|
||||
|
Reference in New Issue
Block a user