From 7094197c3f341834fdbf1c9b552e916a52e2d73d Mon Sep 17 00:00:00 2001 From: Virgil Date: Fri, 6 Oct 2023 22:19:50 +0300 Subject: [PATCH] Remove unused variable --- kmxwasm/src/kmxwasm/lemmas/lemmas.py | 2 -- 1 file changed, 2 deletions(-) diff --git a/kmxwasm/src/kmxwasm/lemmas/lemmas.py b/kmxwasm/src/kmxwasm/lemmas/lemmas.py index e6284676..0a4beda3 100644 --- a/kmxwasm/src/kmxwasm/lemmas/lemmas.py +++ b/kmxwasm/src/kmxwasm/lemmas/lemmas.py @@ -56,7 +56,6 @@ def make_rule(self, kast_defn: KDefinition) -> KRule: rhs_vars = free_vars(self.rhs) var_occurrences = count_vars(mlAnd([KRewrite(self.lhs, self.rhs), self.requires])) v_subst: dict[str, KVariable] = {} - vremap_subst: dict[str, KVariable] = {} for v in var_occurrences: new_v = v if var_occurrences[v] == 1: @@ -65,7 +64,6 @@ def make_rule(self, kast_defn: KDefinition) -> KRule: new_v = '?' + new_v if new_v != v: v_subst[v] = KVariable(new_v) - vremap_subst[new_v] = KVariable(v) lhs = Subst(v_subst)(self.lhs) rhs = self.rhs # apply_existential_substitutions(Subst(v_subst)(self.rhs))