From: Mark Date: Fri, 24 Nov 2023 05:01:21 +0000 (-0700) Subject: remove redundant running count increment in mark_non_callable (#2176) X-Git-Tag: v0.9.4~102 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=1fbc7f984227d9019cf8d07a4e4851b23315b5eb;p=scryer-prolog.git remove redundant running count increment in mark_non_callable (#2176) --- diff --git a/src/codegen.rs b/src/codegen.rs index bc675640..09722fbd 100644 --- a/src/codegen.rs +++ b/src/codegen.rs @@ -300,9 +300,10 @@ impl DebrayAllocator { &self.var_data.records[var_num].allocation { self.mark_var_in_non_callable(var_num, term_loc, vr, code); + } else { + self.increment_running_count(var_num); } - self.increment_running_count(var_num); RegType::Perm(p) } }