From 9571f1f605f4465ffe049d7df22bc1dbabd50657 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 3 Dec 2014 21:58:50 -0500
Subject: [PATCH] Fix UnsatCore in language bindings.

---
 src/cvc4.i            |  1 +
 src/util/unsat_core.i | 16 ++++++++++++++++
 2 files changed, 17 insertions(+)

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 */
-- 
2.30.2