fix swig-ignored interface name; hopefully fixes Debian package nightly builds

diff --git a/src/util/output.i b/src/util/output.i
index b9c0e32ee5ce058ccf76476c529eeba22cf0a6a2..e9f674240ecb58946847b65051e0c5bedd33c4e4 100644 (file)
--- a/src/util/output.i
+++ b/src/util/output.i
@@ -9,7 +9,7 @@
 // it tries to generate the getters and setters.  For now, just ignore them.
 %ignore CVC4::null_sb;
 %ignore CVC4::null_os;
-%ignore CVC4::DumpC::dump_cout;
+%ignore CVC4::DumpOutC::dump_cout;
 
 %ignore operator<<;
 %ignore on(std::string);