From 63f9fdaf3ee0b346f489988ac6ddf49a8277a526 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 27 Jan 2025 10:52:21 -0800
Subject: [PATCH] fix build

---
 src/ast/sls/sls_array_plugin.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/ast/sls/sls_array_plugin.cpp b/src/ast/sls/sls_array_plugin.cpp
index e5b83913c..bf7dc1fc5 100644
--- a/src/ast/sls/sls_array_plugin.cpp
+++ b/src/ast/sls/sls_array_plugin.cpp
@@ -40,9 +40,9 @@ namespace sls {
         if (m_g->inconsistent()) {
             resolve_conflict();
             return false;
-        }
-        return !m_g->inconsistent();   
+        }         
 #endif
+        return !m_g->inconsistent();
     }