diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-11-15 01:32:27 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-11-15 01:32:27 +0000 |
commit | 15193d5207679b24cd2f310f71c9428971564b53 (patch) | |
tree | 65407ed8821be30b91ae898a93f1b78902cc37c4 /src/util/pseudoboolean.i | |
parent | 3d3d6490f46f9dd7b48b02eed03a66086e32ded1 (diff) |
additional minor changes to get python binding on better footing
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); |