diff --git a/pl/yio.yap b/pl/yio.yap index e0e9e3ea1..7cb4bb192 100644 --- a/pl/yio.yap +++ b/pl/yio.yap @@ -389,7 +389,7 @@ open_pipe_streams(P1,P2) :- '$open_pipe_stream'(P1, P2). fileerrors :- set_value(fileerrors,1). nofileerrors :- set_value(fileerrors,0). -exists(F) :- '$exists'(F,'$csult'). +exists(F) :- access_file(F,'$csult'). see(user) :- !, set_input(user_input). see(F) :- var(F), !, @@ -1207,4 +1207,5 @@ with_output_to(Output, Command) :- '$codes_to_chars'(String0, String, String0) :- String0 == String, !. '$codes_to_chars'(String0, [Code|String], [Char|Chars]) :- atom_codes(Char, [Code]), - '$codes_to_chars'(String0, String, Chars). \ No newline at end of file + '$codes_to_chars'(String0, String, Chars). +