From eb24d29777dcc01a726cc065445ef638e2d04264 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 2 Mar 2024 17:10:30 -0800
Subject: [PATCH] More changes.

---
 src/sat/bsat2/Queue.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/sat/bsat2/Queue.h b/src/sat/bsat2/Queue.h
index c2b3c64ad..8ff65b87b 100644
--- a/src/sat/bsat2/Queue.h
+++ b/src/sat/bsat2/Queue.h
@@ -23,10 +23,10 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
 
 #include "sat/bsat2/Vec.h"
 
-namespace Minisat {
-
 ABC_NAMESPACE_CXX_HEADER_START
 
+namespace Minisat {
+
 //=================================================================================================
 
 template<class T>