diff --git a/pl/history.pl b/pl/history.pl index e6e668d69..54737c374 100644 --- a/pl/history.pl +++ b/pl/history.pl @@ -30,7 +30,7 @@ */ :- module('$history', - [ % read_history/6, + [ %read_history/6, '$clean_history'/0, '$save_history'/1 ]). @@ -148,7 +148,7 @@ save_history_line(Line) :- [ Line, [partial(true)], '.', [partial(true)] ]), - catch(user:rl_add_history(CompleteLine), _, fail), !. + catch(system:rl_add_history(CompleteLine), _, fail), !. save_history_line(_). save_event(Dont, Event) :- diff --git a/pl/qly.yap b/pl/qly.yap index ccf2c9ed3..ff5f6277b 100755 --- a/pl/qly.yap +++ b/pl/qly.yap @@ -135,6 +135,7 @@ save_program(File, _Goal) :- '$x_yap_flag'(X, V) :- yap_flag(X, V), X \= language, + X \= readline, X \= timezone, X \= user_input, X \= user_output,