avoid read-only flags.
This commit is contained in:
parent
81be229e22
commit
49b936db67
@ -30,7 +30,12 @@ qsave_program(File) :-
|
||||
'$x_yap_flag'(language, V).
|
||||
'$x_yap_flag'(X, V) :-
|
||||
yap_flag(X, V),
|
||||
X \= language.
|
||||
X \= language,
|
||||
X \= timezone,
|
||||
X \= user_input,
|
||||
X \= user_output,
|
||||
X \= user_error,
|
||||
X \= version.
|
||||
|
||||
'$init_state' :-
|
||||
recorded('$program_state', _, _), !,
|
||||
|
Reference in New Issue
Block a user