Fix compat-Java layer, should fix build.

diff --git a/src/bindings/compat/java/src/cvc3/Expr_impl.cpp b/src/bindings/compat/java/src/cvc3/Expr_impl.cpp
index f002109c54a8e084267d3b5f96a971fe3c843dfa..8addc3230c2a7e5fe7ea25b74339b7060244bd75 100644 (file)
--- 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<Expr>(env, &expr->getExistential());
+return embed_copy<Expr>(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<Expr>(env, &expr->getBody());
+return embed_copy<Expr>(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<Theorem>(env, &expr->getTheorem());
+return embed_copy<Theorem>(env, expr->getTheorem());
 
 DEFINITION: Java_cvc3_Expr_jniGetType
 jobject c Expr expr