From: Mark Thom <markjordanthom@gmail.com>
Date: Thu, 22 Mar 2018 20:15:40 +0000 (-0600)
Subject: eliminating double counting for call_with_inference_limit.
X-Git-Tag: v0.8.110~516
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=f160761cf982b62ff9ac714273b34e2c466c47dd;p=scryer-prolog.git

eliminating double counting for call_with_inference_limit.
---

diff --git a/src/prolog/machine/machine_state.rs b/src/prolog/machine/machine_state.rs
index 6df9bd36..c27cbb93 100644
--- a/src/prolog/machine/machine_state.rs
+++ b/src/prolog/machine/machine_state.rs
@@ -613,22 +613,6 @@ impl CallWithInferenceLimitCallPolicy {
 }
 
 impl CallPolicy for CallWithInferenceLimitCallPolicy {
-    fn try_call<'a>(&mut self, machine_st: &mut MachineState, code_dirs: CodeDirs<'a>,
-                    name: ClauseName, arity: usize)
-                -> CallResult
-    {
-        self.prev_policy.try_call(machine_st, code_dirs, name, arity)?;
-        self.increment()
-    }
-
-    fn try_execute<'a>(&mut self, machine_st: &mut MachineState, code_dirs: CodeDirs<'a>,
-                       name: ClauseName, arity: usize)
-                       -> CallResult
-    {
-        self.prev_policy.try_execute(machine_st, code_dirs, name, arity)?;
-        self.increment()
-    }
-
     fn retry_me_else(&mut self, machine_st: &mut MachineState, offset: usize) -> CallResult
     {
         self.prev_policy.retry_me_else(machine_st, offset)?;