1 files changed, 0 insertions, 18 deletions
diff --git a/include/klee/util/Ref.h b/include/klee/util/Ref.h
index d1c2e56b..61e91f3c 100644
--- a/include/klee/util/Ref.h
+++ b/include/klee/util/Ref.h
@@ -44,8 +44,6 @@ private:
 
 public:
   template<class U> friend class ref;
-  template<class U> friend U* dyn_ref_cast(ref &src);
-  template<class U> friend const U* dyn_ref_cast(const ref &src);
 
   // constructor from pointer
   ref(T *p) : ptr(p) {
@@ -65,10 +63,6 @@ public:
   }
   
   // pointer operations
-  T *get () {
-    return ptr;
-  }
-
   T *get () const {
     return ptr;
   }
@@ -119,18 +113,6 @@ inline std::ostream &operator<<(std::ostream &os, const ref<T> &e) {
   return os;
 }
 
-class Expr;
-
-template<class U>
-U* dyn_ref_cast(ref<Expr> &src) {
-  return dyn_cast<U>(src.ptr);
-}
-
-template<class U>
-const U* dyn_ref_cast(const ref<Expr> &src) {
-  return dyn_cast<U>(src.ptr);
-}
-
 } // end namespace klee
 
 namespace llvm {