From fee158c071af5dd6b78630a777de07f0440e2924 Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Mon, 2 May 2011 23:28:59 +0100 Subject: [PATCH] fix call to read_vars --- pl/yio.yap | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pl/yio.yap b/pl/yio.yap index 62e9b77ff..f4500ac41 100644 --- a/pl/yio.yap +++ b/pl/yio.yap @@ -116,13 +116,13 @@ read_term(T, Options) :- '$check_io_opts'(Options,read_term(T, Options)), current_input(S), '$preprocess_read_terms_options'(Options,Module), - '$read_vars'(S,T,Module,Pos,VL), + '$read_vars'(S,T,Module,Pos,VL,'|: '), '$postprocess_read_terms_options'(Options, T, VL, Pos). read_term(Stream, T, Options) :- '$check_io_opts'(Options,read_term(T, Options)), '$preprocess_read_terms_options'(Options,Module), - '$read_vars'(Stream,T,Module,Pos,VL), + '$read_vars'(Stream,T,Module,Pos,VL,'|: '), '$postprocess_read_terms_options'(Options, T, VL, Pos). %