From 7b3aaa55f2e544b752640f99b3516292bda181b7 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 26 Jun 2014 00:27:42 -0400
Subject: [PATCH] Minor language bindings fixes.

---
 configure.ac |  8 +++++---
 src/cvc4.i   | 11 +++++++++++
 2 files changed, 16 insertions(+), 3 deletions(-)

diff --git a/configure.ac b/configure.ac
index 6970a7ae2..ab1abdf53 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1465,9 +1465,11 @@ EOF
 
 if test -n "$CVC4_UNSUPPORTED_LANGUAGE_BINDINGS"; then
   AC_MSG_WARN([])
-  AC_MSG_WARN([You are electing to build unsupported language binding(s): $CVC4_UNSUPPORTED_LANGUAGE_BINDINGS])
-  AC_MSG_WARN([Please be aware that these bindings may not compile, or work, and the interface to CVC4 via])
-  AC_MSG_WARN([these bindings may change drastically in upcoming releases of CVC4.])
+  AC_MSG_WARN([You are electing to build unsupported language binding(s):])
+  AC_MSG_WARN([    $CVC4_UNSUPPORTED_LANGUAGE_BINDINGS])
+  AC_MSG_WARN([Please be aware that these bindings may not compile, or])
+  AC_MSG_WARN([work, and the interface to CVC4 via these bindings may])
+  AC_MSG_WARN([change drastically in upcoming releases of CVC4.])
   AC_MSG_WARN([])
 fi
 
diff --git a/src/cvc4.i b/src/cvc4.i
index a84d69cf7..c92ce3054 100644
--- a/src/cvc4.i
+++ b/src/cvc4.i
@@ -61,6 +61,17 @@ std::set<JavaInputStreamAdapter*> CVC4::JavaInputStreamAdapter::s_adapters;
 #endif
 %}
 
+#ifdef SWIGPYTHON
+%pythonappend CVC4::SmtEngine::SmtEngine %{
+  print 'hello smtengine'
+  self.thisown = 0
+%}
+%pythonappend CVC4::ExprManager::ExprManager %{
+  print 'hello exprmanager'
+  self.thisown = 0
+%}
+#endif /* SWIGPYTHON */
+
 %template(vectorCommandPtr) std::vector< CVC4::Command* >;
 %template(vectorType) std::vector< CVC4::Type >;
 %template(vectorExpr) std::vector< CVC4::Expr >;
-- 
2.30.2