don't rset RO flags

This commit is contained in:
Vitor Santos Costa 2013-01-18 14:33:41 +00:00
parent 20398352e3
commit 4791a18c5b
1 changed files with 1 additions and 0 deletions

View File

@ -137,6 +137,7 @@ save_program(File, _Goal) :-
X \= language,
X \= readline,
X \= timezone,
X \= tty_control,
X \= user_input,
X \= user_output,
X \= user_error,