From 77942a35dcffad02e508f2fa0a9114a6db46c553 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 7 Feb 2019 11:20:53 -0800
Subject: [PATCH] fix #2125

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

diff --git a/src/api/java/Goal.java b/src/api/java/Goal.java
index 903325850..f5fa35fdb 100644
--- a/src/api/java/Goal.java
+++ b/src/api/java/Goal.java
@@ -130,8 +130,7 @@ public class Goal extends Z3Object {
         int n = size();
         BoolExpr[] res = new BoolExpr[n];
         for (int i = 0; i < n; i++)
-            res[i] = new BoolExpr(getContext(), Native.goalFormula(getContext()
-                    .nCtx(), getNativeObject(), i));
+            res[i] = (BoolExpr) Expr.create(getContext(), Native.goalFormula(getContext().nCtx(), getNativeObject(), i));
         return res;
     }