From 15193d5207679b24cd2f310f71c9428971564b53 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Tue, 15 Nov 2011 01:32:27 +0000
Subject: additional minor changes to get python binding on better footing

---
 src/util/pseudoboolean.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/util/pseudoboolean.h')

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 */
 
-- 
cgit v1.2.3