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

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

%ignore CVC4::operator<<(std::ostream&, Options::SimplificationMode);
%ignore CVC4::operator<<(std::ostream&, Options::ArithPivotRule);

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