diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-06-12 14:31:16 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-06-12 14:31:16 +0000 |
| commit | f4b04f156d1dd90bd3d14b611e40057e02101219 (patch) | |
| tree | 991caa1dff5ce0b55020ec7160ed2f30372e939f | |
| parent | b2bafe6e37bf98c8bc640bc0f343a40a11a67dbb (diff) | |
fix a few compatibility bindings issues
| -rw-r--r-- | src/bindings/compat/java/src/cvc3/Embedded.java | 2 | ||||
| -rw-r--r-- | src/bindings/compat/java/src/cvc3/Expr_impl.cpp | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/src/bindings/compat/java/src/cvc3/Embedded.java b/src/bindings/compat/java/src/cvc3/Embedded.java index c645f2655..fdeeef058 100644 --- a/src/bindings/compat/java/src/cvc3/Embedded.java +++ b/src/bindings/compat/java/src/cvc3/Embedded.java @@ -12,6 +12,8 @@ public abstract class Embedded { // load jni c++ library static { + System.loadLibrary("cvc4"); + System.loadLibrary("cvc4parser"); System.loadLibrary("cvc4bindings_java_compat"); /* diff --git a/src/bindings/compat/java/src/cvc3/Expr_impl.cpp b/src/bindings/compat/java/src/cvc3/Expr_impl.cpp index 41e96f53e..f002109c5 100644 --- a/src/bindings/compat/java/src/cvc3/Expr_impl.cpp +++ b/src/bindings/compat/java/src/cvc3/Expr_impl.cpp @@ -282,7 +282,7 @@ return expr->arity(); DEFINITION: Java_cvc3_Expr_jniGetKid jobject c Expr expr n int i -return embed_copy<Expr>(env, &((*expr)[ji])); +return embed_copy<Expr>(env, (*expr)[ji]); DEFINITION: Java_cvc3_Expr_jniGetKids jobjectArray c Expr expr |