From fbbc5fdd762ddf168d1353c79149bf233ddeebf1 Mon Sep 17 00:00:00 2001
From: martin <martin@michael>
Date: Fri, 16 Jul 2021 10:53:59 +0100
Subject: [PATCH] Revert the change to the use of unbounded arrays

This was introduced in #6194 but reported as breaking in #6230.
---
 src/solvers/flattening/boolbv.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/solvers/flattening/boolbv.h b/src/solvers/flattening/boolbv.h
index 3bda86f2cfa..fc3b1484b96 100644
--- a/src/solvers/flattening/boolbv.h
+++ b/src/solvers/flattening/boolbv.h
@@ -47,7 +47,7 @@ class boolbvt:public arrayst
     message_handlert &message_handler,
     bool get_array_constraints = false)
     : arrayst(_ns, _prop, message_handler, get_array_constraints),
-      unbounded_array(unbounded_arrayt::U_AUTO),
+      unbounded_array(unbounded_arrayt::U_NONE),
       bv_width(_ns),
       bv_utils(_prop),
       functions(*this),