From 1f5d182f6a0fcc6608d4ad29355b502a3d0af4ea Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 2 Jul 2018 09:09:57 -0700 Subject: [PATCH] update java bindings for arrays Signed-off-by: Nikolaj Bjorner --- src/api/java/Model.java | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/api/java/Model.java b/src/api/java/Model.java index d809b6790..198c9918b 100644 --- a/src/api/java/Model.java +++ b/src/api/java/Model.java @@ -91,11 +91,11 @@ public class Model extends Z3Object { return null; else { - if (!Native.isAsArray(getContext().nCtx(), n)) - throw new Z3Exception( - "Argument was not an array constant"); - long fd = Native.getAsArrayFuncDecl(getContext().nCtx(), n); - return getFuncInterp(new FuncDecl(getContext(), fd)); + if (Native.isAsArray(getContext().nCtx(), n)) { + long fd = Native.getAsArrayFuncDecl(getContext().nCtx(), n); + return getFuncInterp(new FuncDecl(getContext(), fd)); + } + return FuncInterp(getContext(), n); } } else {