From 8e2027107d61c47e95e2b93bd6d33d5a4f4e7059 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 14 Jun 2022 09:49:41 -0700
Subject: [PATCH] fix spacing

---
 src/model/func_interp.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/model/func_interp.cpp b/src/model/func_interp.cpp
index 1c59b6107..b180a8a1f 100644
--- a/src/model/func_interp.cpp
+++ b/src/model/func_interp.cpp
@@ -294,9 +294,9 @@ void func_interp::compress() {
         m().dec_ref(m_else);
         m_else = new_else;
     }
-    else
+    //else
 #endif
-        if (!m_entries.empty() && is_identity()) {
+    if (!m_entries.empty() && is_identity()) {
         for (func_entry * curr : m_entries) {
             curr->deallocate(m(), m_arity);
         }