From a124461dca97fcfceb686c3f6eeb9c960f957a43 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 12 Dec 2019 08:55:55 -0800 Subject: [PATCH] chore: rename projection function major field to `self` This is useful for projection function for classes + named arguments. --- src/library/constructions/projection.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/library/constructions/projection.cpp b/src/library/constructions/projection.cpp index 0e3cf7b5c9..dd5f6ed021 100644 --- a/src/library/constructions/projection.cpp +++ b/src/library/constructions/projection.cpp @@ -71,7 +71,7 @@ environment mk_projections(environment const & env, name const & n, buffer } expr C_A = mk_app(mk_constant(n, lvls), params); binder_info c_bi = inst_implicit ? mk_inst_implicit_binder_info() : mk_binder_info(); - expr c = lctx.mk_local_decl(ngen, name("c"), C_A, c_bi); + expr c = lctx.mk_local_decl(ngen, name("self"), C_A, c_bi); buffer cnstr_type_args; // arguments that are not parameters expr it = cnstr_type; while (is_pi(it)) {