mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-18 14:49:01 +00:00
Code Activity

change namespace for single threaded

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2024-10-26 11:28:54 -07:00
parent f902feb478
commit fb78a9e3a5
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/smt/theory_sls.h
View file

@ -25,8 +25,8 @@ Author:
#ifdef SINGLE_THREAD
namespace sls {
class theory_sls : public smt::theory {
namespace smt {
class theory_sls : public theory {
model_ref m_model;
public:
theory_sls(context& ctx);
@ -49,7 +49,7 @@ namespace sls {
namespace smt {
class theory_sls : public smt::theory, public sls::smt_context {
class theory_sls : public theory, public sls::smt_context {
model_ref m_model;
sls::smt_plugin* m_smt_plugin = nullptr;
unsigned m_trail_lim = 0;