From 8616ed096ebb466af6f3030c56d0efdc99ff8fc4 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sat, 27 Jun 2015 14:12:26 -0700 Subject: [PATCH] fix(library/composition_manager): typo --- src/library/composition_manager.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/library/composition_manager.cpp b/src/library/composition_manager.cpp index e11efdb77..43062b0b0 100644 --- a/src/library/composition_manager.cpp +++ b/src/library/composition_manager.cpp @@ -115,7 +115,7 @@ pair compose(environment const & env, type_checker & tc, name } else { // do not expand expr b = mk_app(mk_constant(f, f_ls), f_domain); - new_val_body = Fun(f_domain, mk_app(mk_app(mk_constant(g, const_levels(B)), B_args), b)); + new_val_body = mk_app(mk_app(mk_constant(g, const_levels(B)), B_args), b); } expr new_val = Fun(f_domain, new_val_body); expr new_type;