From ff46a925a2f31cab964e5ee696a03bbbb99a9207 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 11 Dec 2016 04:25:05 +0100
Subject: [PATCH] bail out on failure to properly project. issue #837

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

diff --git a/src/qe/qsat.cpp b/src/qe/qsat.cpp
index e378c7fdf..841bdde9b 100644
--- a/src/qe/qsat.cpp
+++ b/src/qe/qsat.cpp
@@ -909,7 +909,7 @@ namespace qe {
                 num_scopes = 2;
             }
             else {
-				if (level.max() + 2 > m_level) return false;
+                if (level.max() + 2 > m_level) return false;
                 SASSERT(level.max() + 2 <= m_level);
                 num_scopes = m_level - level.max();
                 SASSERT(num_scopes >= 2);