From 371baf200243e1c642e5e069f6fb674cb3d73675 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 28 Jan 2019 15:34:58 -0800 Subject: [PATCH] fix(library/compiler/compiler): typo --- src/library/compiler/compiler.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/library/compiler/compiler.cpp b/src/library/compiler/compiler.cpp index c06955aadb..39237acae0 100644 --- a/src/library/compiler/compiler.cpp +++ b/src/library/compiler/compiler.cpp @@ -91,7 +91,7 @@ static environment cache_stage2(environment env, comp_decls const & ds) { expr v = d.snd(); expr t = ll_infer_type(env, v); unsigned arity = get_num_nested_lambdas(v); - v = ensure_arity(t, arity); + t = ensure_arity(t, arity); lean_trace(name({"compiler", "stage2"}), tout() << n << " : " << t << "\n";); env = register_stage2_decl(env, n, t, v); }