diff --git a/src/solver/solver.h b/src/solver/solver.h
index c4e1be13e..63592ea3b 100644
--- a/src/solver/solver.h
+++ b/src/solver/solver.h
@@ -139,6 +139,7 @@ public:
        \brief Display the content of this solver.
     */
     virtual void display(std::ostream & out) const;
+
     class scoped_push {
         solver& s;
         bool    m_nopop;
@@ -147,9 +148,9 @@ public:
         ~scoped_push() { if (!m_nopop) s.pop(1); }
         void disable_pop() { m_nopop = true; }
     };
+
 protected:
     virtual void set_cancel(bool f) = 0;
-
 };
 
 #endif