From 3fa4eac4ef62876b1fd0c04947c4bfce8b719e76 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 22 Oct 2013 15:46:11 -0700 Subject: [PATCH] fix(replace_using_ctx_fn): typo Signed-off-by: Leonardo de Moura --- src/library/replace_using_ctx.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/library/replace_using_ctx.h b/src/library/replace_using_ctx.h index 1a86d7e7c7..ebce5f19dd 100644 --- a/src/library/replace_using_ctx.h +++ b/src/library/replace_using_ctx.h @@ -76,7 +76,7 @@ class replace_using_ctx_fn { expr new_b; { cache::mk_scope sc(m_cache); - new_b = apply(b, extend(ctx, abst_name(e), new_t, new_v), offset+1); + new_b = apply(b, extend(ctx, let_name(e), new_t, new_v), offset+1); } return std::make_tuple(new_t, new_v, new_b); });