From d5f1e40c1db973c9216a167b350a6dd5a4632761 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Wed, 13 Nov 2013 18:10:06 -0500 Subject: [PATCH] Some patches to CVC3 compatibility layer; Thanks to Adam Buchbinder @ Google for the report and patch! --- src/bindings/compat/c/c_interface_defs.h | 2 +- src/bindings/compat/java/src/cvc3/ValidityChecker_impl.cpp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/bindings/compat/c/c_interface_defs.h b/src/bindings/compat/c/c_interface_defs.h index f30e9b797..0f0155324 100644 --- a/src/bindings/compat/c/c_interface_defs.h +++ b/src/bindings/compat/c/c_interface_defs.h @@ -21,7 +21,7 @@ #include "cvc4_public.h" #ifndef _cvc3__include__c_interface_defs_h_ -#define _cvc3__include__c_interface__defs_h_ +#define _cvc3__include__c_interface_defs_h_ //#include "kinds.h" diff --git a/src/bindings/compat/java/src/cvc3/ValidityChecker_impl.cpp b/src/bindings/compat/java/src/cvc3/ValidityChecker_impl.cpp index fa608a785..6bab7d2e0 100644 --- a/src/bindings/compat/java/src/cvc3/ValidityChecker_impl.cpp +++ b/src/bindings/compat/java/src/cvc3/ValidityChecker_impl.cpp @@ -418,7 +418,7 @@ return embed_copy(env, vc->recordExpr(field1, *expr1, field2, *expr2)); DEFINITION: Java_cvc3_ValidityChecker_jniRecordExpr3 jobject m ValidityChecker vc n string field1 c Expr expr1 n string field2 c Expr expr2 n string field3 c Expr expr3 -return embed_copy(env, vc->recordExpr(field1, *expr1, field2, *expr2, field2, *expr2)); +return embed_copy(env, vc->recordExpr(field1, *expr1, field2, *expr2, field3, *expr3)); DEFINITION: Java_cvc3_ValidityChecker_jniRecordExpr4 jobject m ValidityChecker vc nv string fields cv Expr exprs -- 2.30.2