From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 28 Mar 2012 18:22:32 +0000 (+0000)
Subject: fix swig-ignored interface name; hopefully fixes Debian package nightly builds
X-Git-Tag: cvc5-1.0.0~8255
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4fa767be298c40ebb95b74d5016a0538c02212e6;p=cvc5.git

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

diff --git a/src/util/output.i b/src/util/output.i
index b9c0e32ee..e9f674240 100644
--- 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);