erase unnecessary stub from block of FileToChars

diff --git a/src/prolog/machine/system_calls.rs b/src/prolog/machine/system_calls.rs
index 632472be345b36ac5cc9d5fef1210499751b1bb5..a0e5762a7c6b31d47e3c54f809745e5d71d056aa 100644 (file)
--- 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(