diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-13 18:10:06 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-13 18:17:10 -0500 |
commit | d5f1e40c1db973c9216a167b350a6dd5a4632761 (patch) | |
tree | 05d4f689d24d555bfd0373dbe790b80f3e511797 /src/bindings/compat | |
parent | e13e6c0a291b7011ae4f72a546f8159a836151db (diff) |
Some patches to CVC3 compatibility layer; Thanks to Adam Buchbinder @ Google for the report and patch!
Diffstat (limited to 'src/bindings/compat')
-rw-r--r-- | src/bindings/compat/c/c_interface_defs.h | 2 | ||||
-rw-r--r-- | 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 |