2 #include "util/output.h"
5 %feature("valuewrapper") CVC4::null_streambuf;
6 %feature("valuewrapper") std::ostream;
8 // There are issues with SWIG's attempted wrapping of these variables when
9 // it tries to generate the getters and setters. For now, just ignore them.
10 %ignore CVC4::null_sb;
11 %ignore CVC4::null_os;
12 %ignore CVC4::DumpC::dump_cout;
14 %include "util/output.h"