diff options
Diffstat (limited to 'src/expr/command.i')
| -rw-r--r-- | src/expr/command.i | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/expr/command.i b/src/expr/command.i index 3a029b785..a4bf5473e 100644 --- a/src/expr/command.i +++ b/src/expr/command.i @@ -2,11 +2,11 @@ #include "expr/command.h" %} -%ignore CVC4::operator<<(std::ostream&, const Command&); -%ignore CVC4::operator<<(std::ostream&, const Command*); -%ignore CVC4::operator<<(std::ostream&, BenchmarkStatus status); +%ignore CVC4::operator<<(std::ostream&, const Command&) throw(); +%ignore CVC4::operator<<(std::ostream&, const Command*) throw(); +%ignore CVC4::operator<<(std::ostream&, BenchmarkStatus status) throw(); -%rename(beginConst) CVC4::CommandSequence::begin() const; -%rename(endConst) CVC4::CommandSequence::end() const; +%rename(beginConst) CVC4::CommandSequence::begin() const throw(); +%rename(endConst) CVC4::CommandSequence::end() const throw(); %include "expr/command.h" |