1 files changed, 3 insertions, 3 deletions
diff --git a/include/klee/Internal/ADT/ImmutableSet.h b/include/klee/Internal/ADT/ImmutableSet.h
index 0c79eb9c..e60a1d2a 100644
--- a/include/klee/Internal/ADT/ImmutableSet.h
+++ b/include/klee/Internal/ADT/ImmutableSet.h
@@ -45,7 +45,7 @@ namespace klee {
     bool empty() const { 
       return elts.empty(); 
     }
-    unsigned count(const key_type &key) const { 
+    size_t count(const key_type &key) const { 
       return elts.count(key); 
     }
     const value_type *lookup(const key_type &key) const { 
@@ -57,7 +57,7 @@ namespace klee {
     const value_type &max() const { 
       return elts.max(); 
     }
-    unsigned size() { 
+    size_t size() { 
       return elts.size(); 
     }
 
@@ -93,7 +93,7 @@ namespace klee {
       return elts.upper_bound(key); 
     }
 
-    static unsigned getAllocated() { return Tree::allocated; }
+    static size_t getAllocated() { return Tree::allocated; }
   };
 
 }