From 78a7b4d3a6704d9a9bf36da1f72f7de9424afebf Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 1 Jun 2026 19:47:40 -0700 Subject: [PATCH] Update model_core.h --- src/model/model_core.h | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/model/model_core.h b/src/model/model_core.h index 8e531a2b6..6cc52bbcb 100644 --- a/src/model/model_core.h +++ b/src/model/model_core.h @@ -58,6 +58,8 @@ public: return eval(f, r) && m.is_false(r); } + void add_lambda_defs(); + unsigned get_num_constants() const { return m_const_decls.size(); } unsigned get_num_functions() const { return m_func_decls.size(); } func_decl * get_constant(unsigned i) const { return m_const_decls[i]; }