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)));
}