From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 28 Apr 2020 07:40:59 +0000 (-0600)
Subject: erase unnecessary stub from block of FileToChars
X-Git-Tag: v0.8.123~103
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=36134c61b2a8bc12bccb1282a05cde846fb18545;p=scryer-prolog.git

erase unnecessary stub from block of FileToChars
---

diff --git a/src/prolog/machine/system_calls.rs b/src/prolog/machine/system_calls.rs
index 632472be..a0e5762a 100644
--- a/src/prolog/machine/system_calls.rs
+++ b/src/prolog/machine/system_calls.rs
@@ -1560,10 +1560,6 @@ impl MachineState {
                                 )
                             }
                             io::ErrorKind::PermissionDenied => {
-                                let stub = MachineError::functor_stub(
-                                    name.clone(),
-                                    arity
-                                );
                                 let source_sink = self.store(self.deref(a1));
 
                                 MachineError::permission_error(