diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-03 20:49:39 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-03 20:50:38 -0500 |
commit | ce3b3b2c4aebff1cde3e7979c1a0eabb1c8dd695 (patch) | |
tree | 17296cf243c4424f9b464f824c762e0fd86420a7 /src/expr/command.i | |
parent | 42a873d8b3b6c5a50648b68ad95aaef365fab26e (diff) |
Some fixes for swig warnings.
Diffstat (limited to 'src/expr/command.i')
-rw-r--r-- | src/expr/command.i | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/expr/command.i b/src/expr/command.i index 76c8fa674..d6cbfe272 100644 --- a/src/expr/command.i +++ b/src/expr/command.i @@ -11,7 +11,10 @@ %ignore CVC4::operator<<(std::ostream&, const Command&) throw(); %ignore CVC4::operator<<(std::ostream&, const Command*) throw(); +%ignore CVC4::operator<<(std::ostream&, const CommandStatus&) throw(); +%ignore CVC4::operator<<(std::ostream&, const CommandStatus*) throw(); %ignore CVC4::operator<<(std::ostream&, BenchmarkStatus status) throw(); +%ignore CVC4::operator<<(std::ostream&, CommandPrintSuccess) throw(); %ignore CVC4::GetProofCommand; %ignore CVC4::CommandPrintSuccess::Scope; |