1 files changed, 0 insertions, 12 deletions
diff --git a/include/klee/util/Ref.h b/include/klee/util/Ref.h
index b56d5d6a..d1c2e56b 100644
--- a/include/klee/util/Ref.h
+++ b/include/klee/util/Ref.h
@@ -46,8 +46,6 @@ 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);
-  template<class U> friend U* static_ref_cast(ref &src);
-  template<class U> friend const U* static_ref_cast(const ref &src);
 
   // constructor from pointer
   ref(T *p) : ptr(p) {
@@ -133,16 +131,6 @@ const U* dyn_ref_cast(const ref<Expr> &src) {
   return dyn_cast<U>(src.ptr);
 }
 
-template<class U>
-U* static_ref_cast(ref<Expr> &src) {
-  return static_cast<U*>(src.ptr);
-}
-
-template<class U>
-const U* static_ref_cast(const ref<Expr> &src) {
-  return static_cast<const U*>(src.ptr);
-}
-
 } // end namespace klee
 
 namespace llvm {