diff options
Diffstat (limited to 'src/util/pseudoboolean.i')
-rw-r--r-- | src/util/pseudoboolean.i | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/pseudoboolean.i b/src/util/pseudoboolean.i index 2505a7c1e..78c373aa1 100644 --- a/src/util/pseudoboolean.i +++ b/src/util/pseudoboolean.i @@ -4,7 +4,7 @@ %rename(toBool) CVC4::Pseudoboolean::operator bool() const; %rename(toInt) CVC4::Pseudoboolean::operator int() const; -%rename(toInteger) CVC4::Pseudoboolean::operator Integer() const; +%rename(toInteger) CVC4::Pseudoboolean::operator CVC4::Integer() const; %ignore CVC4::operator<<(std::ostream&, CVC4::Pseudoboolean); |