additional minor changes to get python binding on better footing

3 files changed, 5 insertions, 5 deletions

diff --git a/src/util/pseudoboolean.cpp b/src/util/pseudoboolean.cpp
index 3fa7a774e..655cd8277 100644
--- a/src/util/pseudoboolean.cpp
+++ b/src/util/pseudoboolean.cpp
@@ -29,7 +29,7 @@ Pseudoboolean::Pseudoboolean(int i) {
   d_value = (i == 1);
 }
 
-Pseudoboolean::Pseudoboolean(const Integer& i) {
+Pseudoboolean::Pseudoboolean(const CVC4::Integer& i) {
   CheckArgument(i == 0 || i == 1, i);
   d_value = (i == 1);
 }
@@ -42,7 +42,7 @@ Pseudoboolean::operator int() const {
   return d_value ? 1 : 0;
 }
 
-Pseudoboolean::operator Integer() const {
+Pseudoboolean::operator CVC4::Integer() const {
   return d_value ? 1 : 0;
 }
 
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 */
 
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);