From 370abf602c3a2ad6d72054e320d5907d886b65a8 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 2 Jul 2018 09:32:58 -0700
Subject: [PATCH] fix java API

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/java/Model.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/java/Model.java b/src/api/java/Model.java
index 198c9918b..f7db67915 100644
--- a/src/api/java/Model.java
+++ b/src/api/java/Model.java
@@ -95,7 +95,7 @@ public class Model extends Z3Object {
                       long fd = Native.getAsArrayFuncDecl(getContext().nCtx(), n);
                       return getFuncInterp(new FuncDecl(getContext(), fd));
                     }
-                    return FuncInterp(getContext(), n);
+                    return new FuncInterp(getContext(), n);
                 }
             } else
             {