From 8092dd5aa352f253536064156ad1a35f78409fa1 Mon Sep 17 00:00:00 2001
From: "KangJing Huang (Chaserhkj)" <huangkangjing@gmail.com>
Date: Mon, 29 May 2017 20:51:42 -0400
Subject: [PATCH] Fix Expr.update in java API returning superclass

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

diff --git a/src/api/java/Expr.java b/src/api/java/Expr.java
index ea3fd2147..ef86f510a 100644
--- a/src/api/java/Expr.java
+++ b/src/api/java/Expr.java
@@ -126,7 +126,7 @@ public class Expr extends AST
         if (isApp() && args.length != getNumArgs()) {
             throw new Z3Exception("Number of arguments does not match");
         }
-        return new Expr(getContext(), Native.updateTerm(getContext().nCtx(), getNativeObject(),
+        return Expr.create(getContext(), Native.updateTerm(getContext().nCtx(), getNativeObject(),
                 args.length, Expr.arrayToNative(args)));
     }