From d6c49adddb5cb76391591940846bf2986ff97129 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 19 Jan 2018 13:57:21 -0800
Subject: [PATCH] local

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/sat/tactic/goal2sat.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/sat/tactic/goal2sat.cpp b/src/sat/tactic/goal2sat.cpp
index 596712a7b..bc4b7a672 100644
--- a/src/sat/tactic/goal2sat.cpp
+++ b/src/sat/tactic/goal2sat.cpp
@@ -311,7 +311,6 @@ struct goal2sat::imp {
         }
     }
 
-
     void convert_ite(app * n, bool root, bool sign) {
         unsigned sz = m_result_stack.size();
         SASSERT(sz >= 3);