From fb78a9e3a5ea3de4e14936f216b51bc1f696c00a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 26 Oct 2024 11:28:54 -0700
Subject: [PATCH] change namespace for single threaded

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/theory_sls.h | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/smt/theory_sls.h b/src/smt/theory_sls.h
index 429e79425..581d7d460 100644
--- a/src/smt/theory_sls.h
+++ b/src/smt/theory_sls.h
@@ -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;