From fd2e4616cfd609c2839070b0b6938b94ad644bd5 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 11 Sep 2015 17:27:42 -0700 Subject: [PATCH] fix(compiler/simp_pr1_rec): missing recursor nested inside recursor --- src/compiler/simp_pr1_rec.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/compiler/simp_pr1_rec.cpp b/src/compiler/simp_pr1_rec.cpp index 7892cd8750..6dae23fde1 100644 --- a/src/compiler/simp_pr1_rec.cpp +++ b/src/compiler/simp_pr1_rec.cpp @@ -147,7 +147,7 @@ class simp_pr1_rec_fn : public replace_visitor { rec_args[i] = Fun(minor_ctx, minor_body); } expr new_rec = mk_app(rec_fn, rec_args.size(), rec_args.data()); - return some_expr(mk_app(new_rec, args.size() - 3, args.data() + 3)); + return some_expr(visit(mk_app(new_rec, args.size() - 3, args.data() + 3))); } virtual expr visit_app(expr const & e) {