Merge pull request #6232 from martin-cs/fix/arrays-6230

Revert the change to the use of unbounded arrays

Author: kroening

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),