From 4497c78d9785136807fa1b1d48bc7aa8958bbf3e 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/expression.py | 4 +--- kmxwasm/src/kmxwasm/lemmas/lemmas.py | 2 -- 2 files changed, 1 insertion(+), 5 deletions(-) diff --git a/kmxwasm/src/kmxwasm/lemmas/expression.py b/kmxwasm/src/kmxwasm/lemmas/expression.py index 69409b73..2720854f 100644 --- a/kmxwasm/src/kmxwasm/lemmas/expression.py +++ b/kmxwasm/src/kmxwasm/lemmas/expression.py @@ -137,6 +137,4 @@ def mandos_cell(*args: KInner) -> KApply: def proofOperationList(proof: Iterable[KInner]) -> KInner: # noqa: N802 - return simple_list( - concat_label='proofOperationList', empty_label='.List{"proofOperationList"}', items=proof - ) + return simple_list(concat_label='proofOperationList', empty_label='.List{"proofOperationList"}', items=proof) 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))