Fix UnsatCore in language bindings.

diff --git a/src/cvc4.i b/src/cvc4.i
index 56404ee65405ef0e10c6af78a9d379c55a5b7959..d845c1a27137f01a03f0498e81ef36eecbef6b5b 100644 (file)
--- a/src/cvc4.i
+++ b/src/cvc4.i
@@ -323,6 +323,7 @@ std::set<JavaInputStreamAdapter*> CVC4::JavaInputStreamAdapter::s_adapters;
 %include "util/uninterpreted_constant.i"
 %include "util/proof.i"
 %include "util/resource_manager.i"
+%include "util/unsat_core.i"
 
 %include "expr/kind.i"
 %include "expr/expr.i"

diff --git a/src/util/unsat_core.i b/src/util/unsat_core.i
index 9fc0dcda62c1122c0d999e23b97553435c241363..060ee3300f5a640fb2940ee09de382b9523c3683 100644 (file)
--- a/src/util/unsat_core.i
+++ b/src/util/unsat_core.i
@@ -1,5 +1,12 @@
 %{
 #include "util/unsat_core.h"
+
+#ifdef SWIGJAVA
+
+#include "bindings/java_iterator_adapter.h"
+#include "bindings/java_stream_adapters.h"
+
+#endif /* SWIGJAVA */
 %}
 
 #ifdef SWIGJAVA
@@ -49,3 +56,12 @@
 #endif /* SWIGJAVA */
 
 %include "util/unsat_core.h"
+
+#ifdef SWIGJAVA
+
+%include "bindings/java_iterator_adapter.h"
+%include "bindings/java_stream_adapters.h"
+
+%template(JavaIteratorAdapter_UnsatCore) CVC4::JavaIteratorAdapter<CVC4::UnsatCore>;
+
+#endif /* SWIGJAVA */