From c6a7dc7b4434c3a4ba8497ff06b31cf0da5b6ed9 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 6 Feb 2019 20:05:45 +0100
Subject: [PATCH] formatting

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/sat/sat_solver_core.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/sat/sat_solver_core.h b/src/sat/sat_solver_core.h
index 4f763bd55..619a3e3a0 100644
--- a/src/sat/sat_solver_core.h
+++ b/src/sat/sat_solver_core.h
@@ -32,7 +32,7 @@ namespace sat {
         ~solver_core() {}
 
         virtual void pop_to_base_level() {}
-        virtual bool  at_base_lvl() const { return true; }
+        virtual bool at_base_lvl() const { return true; }
 
         // retrieve model if solver return sat
         virtual model const & get_model() const = 0;