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/theory | |
parent | 42a873d8b3b6c5a50648b68ad95aaef365fab26e (diff) |
Some fixes for swig warnings.
Diffstat (limited to 'src/theory')
-rw-r--r-- | src/theory/logic_info.i | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/theory/logic_info.i b/src/theory/logic_info.i index 67eea4e04..ee3652a1e 100644 --- a/src/theory/logic_info.i +++ b/src/theory/logic_info.i @@ -12,4 +12,6 @@ %rename(equals) CVC4::LogicInfo::operator==(const LogicInfo&) const; %ignore CVC4::LogicInfo::operator!=(const LogicInfo&) const; +%ignore CVC4::operator<<(std::ostream&, const LogicInfo&); + %include "theory/logic_info.h" |