From f4b04f156d1dd90bd3d14b611e40057e02101219 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Tue, 12 Jun 2012 14:31:16 +0000 Subject: [PATCH] fix a few compatibility bindings issues --- src/bindings/compat/java/src/cvc3/Embedded.java | 2 ++ src/bindings/compat/java/src/cvc3/Expr_impl.cpp | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) 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(env, &((*expr)[ji])); +return embed_copy(env, (*expr)[ji]); DEFINITION: Java_cvc3_Expr_jniGetKids jobjectArray c Expr expr -- 2.30.2