fix spacing

Z3Prover · Jun 14, 2022 · 8e20271 · 8e20271
1 parent 55421af
commit 8e20271
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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);
         }