Merge pull request #1415 from wkral/set_output-error
Fix reported source for set_output/1 error (#1407)
This commit is contained in:
@@ -3987,7 +3987,7 @@ impl Machine {
|
|||||||
)?;
|
)?;
|
||||||
|
|
||||||
if !stream.is_output_stream() {
|
if !stream.is_output_stream() {
|
||||||
let stub = functor_stub(atom!("set_input"), 1);
|
let stub = functor_stub(atom!("set_output"), 1);
|
||||||
|
|
||||||
let user_alias = atom_as_cell!(atom!("user"));
|
let user_alias = atom_as_cell!(atom!("user"));
|
||||||
let err = self.machine_st.permission_error(
|
let err = self.machine_st.permission_error(
|
||||||
|
|||||||
Reference in New Issue
Block a user