erase unnecessary stub from block of FileToChars
This commit is contained in:
@@ -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(
|
||||
|
||||
Reference in New Issue
Block a user