summaryrefslogtreecommitdiff
path: root/src/util/output.i
blob: c2729203a35f8f8f35993e0a804874c4f904e94e (plain) 
1
2
3
4
5
6
7
8
9
10

%{
#include "util/output.h"
%}

%import "util/output.h"

%feature("valuewrapper") CVC4::null_streambuf;
%feature("valuewrapper") std::ostream;

%include "util/output.h"
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback