From 51ffaae3965d155636c82e9595efc8fc27d9c17a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 16 Mar 2020 20:35:49 -0700
Subject: [PATCH] fix build of tests
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
src/math/lp/nla_solver.h | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/math/lp/nla_solver.h b/src/math/lp/nla_solver.h
index cad590dde..08eb346b5 100644
--- a/src/math/lp/nla_solver.h
+++ b/src/math/lp/nla_solver.h
@@ -46,5 +46,7 @@ public:
bool is_monic_var(lpvar) const;
bool influences_nl_var(lpvar) const;
std::ostream& display(std::ostream& out) const;
+
+ core& get_core() { return *m_core; }
};
}