From 856f6bcbdfe67d8ebd930a0a6d06fee6366433dd Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 25 May 2016 17:49:02 -0700 Subject: [PATCH] fix(library/compiler/erase_irrelevant): missing case --- src/library/compiler/erase_irrelevant.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/library/compiler/erase_irrelevant.cpp b/src/library/compiler/erase_irrelevant.cpp index 7d7f4bbf53..118f909ecd 100644 --- a/src/library/compiler/erase_irrelevant.cpp +++ b/src/library/compiler/erase_irrelevant.cpp @@ -177,7 +177,7 @@ class erase_irrelevant_fn : public compiler_step_visitor { expr add_args(expr e, unsigned start_idx, buffer const & args) { for (unsigned i = start_idx; i < args.size(); i++) - e = mk_app(e, args[i]); + e = mk_app(e, visit(args[i])); return beta_reduce(e); }