fix unnecessary exception.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2156 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
1090771c90
commit
18568bd46f
@ -1061,7 +1061,7 @@ current_stream(File, Opts, Stream) :-
|
|||||||
write_depth(T,L) :- write_depth(T,L,_).
|
write_depth(T,L) :- write_depth(T,L,_).
|
||||||
|
|
||||||
is_stream(S) :-
|
is_stream(S) :-
|
||||||
'$check_stream'(S).
|
catch('$check_stream'(S), _, fail), !.
|
||||||
|
|
||||||
time_file(File, Time) :-
|
time_file(File, Time) :-
|
||||||
'$file_age'(File, Time).
|
'$file_age'(File, Time).
|
||||||
|
Reference in New Issue
Block a user