From 8a568d438fd0f440e1b900bbd87197bbbc65e341 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 1 Oct 2019 18:42:47 -0700 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- src/ast/recfun_decl_plugin.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/recfun_decl_plugin.h b/src/ast/recfun_decl_plugin.h index 90de7e0a0..878b5ceaf 100644 --- a/src/ast/recfun_decl_plugin.h +++ b/src/ast/recfun_decl_plugin.h @@ -114,7 +114,7 @@ namespace recfun { void compute_cases(util& u, replace& subst, is_immediate_pred &, unsigned n_vars, var *const * vars, expr* rhs); void add_case(std::string & name, unsigned case_index, expr_ref_vector const& conditions, expr* rhs, bool is_imm = false); - bool contains_ite(util& u, expr* e); // expression contains a test? + bool contains_ite(util& u, expr* e); // expression contains a test over a def? bool contains_def(util& u, expr* e); // expression contains a def public: symbol const & get_name() const { return m_name; }