Remove leftover debugging output.

diff --git a/src/cvc4.i b/src/cvc4.i
index c92ce305409b8f82ddf22032fac587d396169b6f..62cd68cab59b1929ee07591feff29fcfd1cf0369 100644 (file)
--- a/src/cvc4.i
+++ b/src/cvc4.i
@@ -63,11 +63,9 @@ std::set<JavaInputStreamAdapter*> CVC4::JavaInputStreamAdapter::s_adapters;
 
 #ifdef SWIGPYTHON
 %pythonappend CVC4::SmtEngine::SmtEngine %{
-  print 'hello smtengine'
   self.thisown = 0
 %}
 %pythonappend CVC4::ExprManager::ExprManager %{
-  print 'hello exprmanager'
   self.thisown = 0
 %}
 #endif /* SWIGPYTHON */