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.h | |
| parent | 3d3d6490f46f9dd7b48b02eed03a66086e32ded1 (diff) | |
additional minor changes to get python binding on better footing
Diffstat (limited to 'src/util/pseudoboolean.h')
| -rw-r--r-- | src/util/pseudoboolean.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/pseudoboolean.h b/src/util/pseudoboolean.h index 6d0d4fd26..03cde2d98 100644 --- a/src/util/pseudoboolean.h +++ b/src/util/pseudoboolean.h @@ -31,11 +31,11 @@ class Pseudoboolean { public: Pseudoboolean(bool b); Pseudoboolean(int i); - Pseudoboolean(const Integer& i); + Pseudoboolean(const CVC4::Integer& i); operator bool() const; operator int() const; - operator Integer() const; + operator CVC4::Integer() const; };/* class Pseudoboolean */ |