From 36134c61b2a8bc12bccb1282a05cde846fb18545 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Tue, 28 Apr 2020 01:40:59 -0600 Subject: [PATCH] erase unnecessary stub from block of FileToChars --- src/prolog/machine/system_calls.rs | 4 ---- 1 file changed, 4 deletions(-) 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( -- 2.54.0