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>