From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 6 May 2022 23:38:25 +0000 (-0600)
Subject: fix culprit in stream_position permission_error (#1463)
X-Git-Tag: v0.9.1~36
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=4895cb7b224ad6386712186fd5308181bc705c06;p=scryer-prolog.git

fix culprit in stream_position permission_error (#1463)
---

diff --git a/src/machine/system_calls.rs b/src/machine/system_calls.rs
index 01c6fae2..e34b6ccb 100644
--- a/src/machine/system_calls.rs
+++ b/src/machine/system_calls.rs
@@ -4709,7 +4709,7 @@ impl Machine {
             let err = self.machine_st.permission_error(
                 Permission::Reposition,
                 atom!("stream"),
-                vec![stream_as_cell!(stream)],
+                stream_as_cell!(stream),
             );
 
             return Err(self.machine_st.error_form(err, stub));