From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 13 Nov 2013 23:10:06 +0000 (-0500)
Subject: Some patches to CVC3 compatibility layer; Thanks to Adam Buchbinder @ Google for... 
X-Git-Tag: cvc5-1.0.0~7255
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d5f1e40c1db973c9216a167b350a6dd5a4632761;p=cvc5.git

Some patches to CVC3 compatibility layer; Thanks to Adam Buchbinder @ Google for the report and patch!
---

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