Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix set_output/1 and set_input/1 not updating the alias
Before this change, the following set of queries would behave incorrectly: ``` ?- open("/tmp/out.log", write, S), set_output(S). prints(""), write("/tmp/out.log", "S = stream(...)"). ?- write(user_output, hello). prints("hello"), unexpected. prints(""), write("/tmp/out.log", "hello"). % Expected, but not found. ``` Now, `set_output/1` and `set_input/1` properly bind the `user_output` and `user_input` aliases, making the queries above behave as expected.
- Loading branch information