fix a few compatibility bindings issues

diff --git a/src/bindings/compat/java/src/cvc3/Embedded.java b/src/bindings/compat/java/src/cvc3/Embedded.java
index c645f265508a11b3d616524f9bb8ed74b4a846eb..fdeeef058517e9f99fe4591676f2a580b87520b5 100644 (file)
--- 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 41e96f53e8eef5a839e07996650ec618db3e8bb2..f002109c54a8e084267d3b5f96a971fe3c843dfa 100644 (file)
--- 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