From 1a79d92f3a071739eb0be63bb3196e1e7e65d607 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 30 Aug 2022 12:56:21 -0700 Subject: [PATCH] revert last ditch array Signed-off-by: Nikolaj Bjorner --- src/smt/smt_model_checker.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/smt/smt_model_checker.cpp b/src/smt/smt_model_checker.cpp index f2e834262..0224d5e96 100644 --- a/src/smt/smt_model_checker.cpp +++ b/src/smt/smt_model_checker.cpp @@ -239,7 +239,7 @@ namespace smt { sk_value = sk_term; } // last ditch: am I an array? - else if (autil.is_as_array(sk_value, f) && cex->get_func_interp(f) && cex->get_func_interp(f)->get_array_interp(f)) { + else if (false && autil.is_as_array(sk_value, f) && cex->get_func_interp(f) && cex->get_func_interp(f)->get_array_interp(f)) { sk_value = cex->get_func_interp(f)->get_array_interp(f); }