src/util/output.i

   1 %{
   2 #include "util/output.h"
   3 %}
   4
   5 %import "util/output.h"
   6
   7 %feature("valuewrapper") CVC4::null_streambuf;
   8 %feature("valuewrapper") std::ostream;
   9
  10 %include "util/output.h"