diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-21 19:30:32 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-21 19:30:41 -0400 |
| commit | a5f710d9147870024996bc5a1dedfcf183b6257c (patch) | |
| tree | 8f445f3782ca598f4090f168a5cefa8c29a0df3d /src/bindings | |
| parent | 8f468270e580420159d6a3566cc590e51bec6ce9 (diff) | |
Fix compat-Java layer, should fix build.
Diffstat (limited to 'src/bindings')
| -rw-r--r-- | src/bindings/compat/java/src/cvc3/Expr_impl.cpp | 6 |
1 files 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 |