Fix UnsatCore in language bindings.

2 files changed, 17 insertions, 0 deletions

diff --git a/src/cvc4.i b/src/cvc4.i
index 56404ee65..d845c1a27 100644
--- 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 9fc0dcda6..060ee3300 100644
--- 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 */