From 18568bd46feb64c5285de3388387212e284e5ac7 Mon Sep 17 00:00:00 2001 From: vsc Date: Sat, 22 Mar 2008 11:38:05 +0000 Subject: [PATCH] fix unnecessary exception. git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2156 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- pl/yio.yap | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pl/yio.yap b/pl/yio.yap index fc3e10248..91a966d43 100644 --- a/pl/yio.yap +++ b/pl/yio.yap @@ -1061,7 +1061,7 @@ current_stream(File, Opts, Stream) :- write_depth(T,L) :- write_depth(T,L,_). is_stream(S) :- - '$check_stream'(S). + catch('$check_stream'(S), _, fail), !. time_file(File, Time) :- '$file_age'(File, Time).