fix call to read_vars
This commit is contained in:
parent
85c91d72b6
commit
fee158c071
@ -116,13 +116,13 @@ read_term(T, Options) :-
|
|||||||
'$check_io_opts'(Options,read_term(T, Options)),
|
'$check_io_opts'(Options,read_term(T, Options)),
|
||||||
current_input(S),
|
current_input(S),
|
||||||
'$preprocess_read_terms_options'(Options,Module),
|
'$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).
|
'$postprocess_read_terms_options'(Options, T, VL, Pos).
|
||||||
|
|
||||||
read_term(Stream, T, Options) :-
|
read_term(Stream, T, Options) :-
|
||||||
'$check_io_opts'(Options,read_term(T, Options)),
|
'$check_io_opts'(Options,read_term(T, Options)),
|
||||||
'$preprocess_read_terms_options'(Options,Module),
|
'$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).
|
'$postprocess_read_terms_options'(Options, T, VL, Pos).
|
||||||
|
|
||||||
%
|
%
|
||||||
|
Reference in New Issue
Block a user