From a5f710d9147870024996bc5a1dedfcf183b6257c Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Sat, 21 Jun 2014 19:30:32 -0400 Subject: Fix compat-Java layer, should fix build. --- src/bindings/compat/java/src/cvc3/Expr_impl.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/bindings/compat') diff --git a/src/bindings/compat/java/src/cvc3/Expr_impl.cpp b/src/bindings/compat/java/src/cvc3/Expr_impl.cpp index f002109c5..8addc3230 100644 --- a/src/bindings/compat/java/src/cvc3/Expr_impl.cpp +++ b/src/bindings/compat/java/src/cvc3/Expr_impl.cpp @@ -234,7 +234,7 @@ return toJavaVConstRef(env, expr->getVars()); DEFINITION: Java_cvc3_Expr_jniGetExistential jobject c Expr expr -return embed_const_ref(env, &expr->getExistential()); +return embed_copy(env, expr->getExistential()); DEFINITION: Java_cvc3_Expr_jniGetBoundIndex jint c Expr expr @@ -242,7 +242,7 @@ return expr->getBoundIndex(); DEFINITION: Java_cvc3_Expr_jniGetBody jobject c Expr expr -return embed_const_ref(env, &expr->getBody()); +return embed_copy(env, expr->getBody()); DEFINITION: Java_cvc3_Expr_jniGetRational jobject c Expr expr @@ -254,7 +254,7 @@ return toJavaVVConstRef(env, expr->getTriggers()); DEFINITION: Java_cvc3_Expr_jniGetTheorem jobject c Expr expr -return embed_const_ref(env, &expr->getTheorem()); +return embed_copy(env, expr->getTheorem()); DEFINITION: Java_cvc3_Expr_jniGetType jobject c Expr expr -- cgit v1.2.3