From ca4a7ca74e4f1c736d9d950ef2cd2e6c42af3d03 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Sat, 1 Aug 2015 14:29:45 +0100
Subject: [PATCH] style

---
 src/solver/solver.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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