From a5f710d9147870024996bc5a1dedfcf183b6257c Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Sat, 21 Jun 2014 19:30:32 -0400
Subject: [PATCH] Fix compat-Java layer, should fix build.

---
 src/bindings/compat/java/src/cvc3/Expr_impl.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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