From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Sat, 21 Jun 2014 23:30:32 +0000 (-0400)
Subject: Fix compat-Java layer, should fix build.
X-Git-Tag: cvc5-1.0.0~6749
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a5f710d9147870024996bc5a1dedfcf183b6257c;p=cvc5.git

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 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<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