mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-31 19:52:29 +00:00
Code Activity

Fix Expr.update in java API returning superclass

Browse source
This commit is contained in:
KangJing Huang (Chaserhkj) 2017-05-29 20:51:42 -04:00
parent 2de80b5ce9
commit 8092dd5aa3
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/api/java/Expr.java
View file

@ -126,7 +126,7 @@ public class Expr extends AST
if (isApp() && args.length != getNumArgs()) { if (isApp() && args.length != getNumArgs()) {
throw new Z3Exception("Number of arguments does not match"); 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))); args.length, Expr.arrayToNative(args)));
} }