From eb5d036786d1c1571067f656ef9c42afa4a828b7 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 25 Sep 2024 10:21:54 +0100
Subject: [PATCH] fix #7392

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

diff --git a/src/smt/params/smt_params.cpp b/src/smt/params/smt_params.cpp
index 02919b28775..71587b5ccf9 100644
--- a/src/smt/params/smt_params.cpp
+++ b/src/smt/params/smt_params.cpp
@@ -331,7 +331,7 @@ void smt_params::setup_QF_BV() {
 }
 
 void smt_params::setup_QF_AUFBV() {
-    m_array_mode          = AR_SIMPLE;
+    m_array_mode          = AR_FULL;
     m_relevancy_lvl       = 0;
     m_bv_cc               = false;
     m_bb_ext_gates        = true;