From 2138ef2ad05bacf3bc488364d7f994d927e289cb Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 17 Jun 2021 11:26:12 -0700 Subject: [PATCH] build --- src/ast/rewriter/var_subst.cpp | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/ast/rewriter/var_subst.cpp b/src/ast/rewriter/var_subst.cpp index 385c13c91..ec33bd265 100644 --- a/src/ast/rewriter/var_subst.cpp +++ b/src/ast/rewriter/var_subst.cpp @@ -44,8 +44,11 @@ expr_ref var_subst::operator()(expr * n, unsigned num_args, expr * const * args) } if (has_quantifiers(n)) { expr_safe_replace rep(m); - for (unsigned k = 0; k < num_args; ++k) - rep.insert(m.mk_var(m_std_order ? num_args - k - 1 : k, args[k]->get_sort()), args[k]); + for (unsigned k = 0; k < num_args; ++k) { + expr* arg = args[k]; + if (arg) + rep.insert(m.mk_var(m_std_order ? num_args - k - 1 : k, arg->get_sort()), arg); + } rep(n, result); return result; }