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(