From a2613a75638a522fba55c21cbc1216dc79220a95 Mon Sep 17 00:00:00 2001 From: Alessio Ferrarini Date: Mon, 16 Sep 2024 12:48:23 +0200 Subject: [PATCH] fix: Correct lambda body variable naming --- src/Language/Fixpoint/Smt/Serialize.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Language/Fixpoint/Smt/Serialize.hs b/src/Language/Fixpoint/Smt/Serialize.hs index e0fc27cc8..117c67329 100644 --- a/src/Language/Fixpoint/Smt/Serialize.hs +++ b/src/Language/Fixpoint/Smt/Serialize.hs @@ -183,7 +183,7 @@ smt2VarAs :: SymEnv -> Symbol -> Sort -> Builder smt2VarAs env x t = parenSeqs ["as", smt2 env x, smt2SortMono x env t] smt2Lam :: SymEnv -> (Symbol, Sort) -> Expr -> Builder -smt2Lam env (x, xT) (ECst e eT) = parenSeqs [Builder.fromText lambda, x', smt2 env e] +smt2Lam env (x, xT) full@(ECst _ eT) = parenSeqs [Builder.fromText lambda, x', smt2 env full] where x' = smtLamArg env x xT lambda = symbolAtName lambdaName env () (FFunc xT eT)