From a1cfe0367b2985f64c5bced7e0c135e96e4d1285 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 23 May 2017 21:49:58 -0700 Subject: [PATCH] fix(library/equations_compiler/pack_domain): nested recursive calls --- src/library/equations_compiler/pack_domain.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/library/equations_compiler/pack_domain.cpp b/src/library/equations_compiler/pack_domain.cpp index df3f0c23aa..709ad4d4c6 100644 --- a/src/library/equations_compiler/pack_domain.cpp +++ b/src/library/equations_compiler/pack_domain.cpp @@ -89,6 +89,8 @@ struct sigma_packer_fn { virtual expr visit_app(expr const & e) override { buffer args; expr const & fn = get_app_args(e, args); + for (expr & arg : args) + arg = visit(arg); auto fnidx = get_fn_idx(fn); if (!fnidx) return replace_visitor_with_tc::visit_app(e); expr new_fn = m_ues.get_fn(*fnidx);