From c27a3250174f7ab899cfda0fc5c008adebde6fcb Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 23 Nov 2020 10:22:21 -0800
Subject: [PATCH] na

---
 src/api/api_array.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/api_array.cpp b/src/api/api_array.cpp
index b87d5aaf2..c87566316 100644
--- a/src/api/api_array.cpp
+++ b/src/api/api_array.cpp
@@ -90,7 +90,7 @@ extern "C" {
         args.push_back(_a);
         domain.push_back(a_ty);
         for (unsigned i = 0; i < n; ++i) {
-            CHECK_IS_EXPR(idxs[i]);
+            CHECK_IS_EXPR(idxs[i], nullptr);
             args.push_back(to_expr(idxs[i]));
             domain.push_back(m.get_sort(to_expr(idxs[i])));
         }