diff --git a/include/llvm/AbstractTypeUser.h b/include/llvm/AbstractTypeUser.h
index 9e96a99af0b..2b6bc319496 100644
--- a/include/llvm/AbstractTypeUser.h
+++ b/include/llvm/AbstractTypeUser.h
@@ -117,14 +117,6 @@ public:
 
   // operator-> - Allow user to dereference handle naturally...
   inline const Type *operator->() const { return Ty; }
-
-  // removeUserFromConcrete - This function should be called when the User is
-  // notified that our type is refined... and the type is being refined to
-  // itself, which is now a concrete type.  When a type becomes concrete like
-  // this, we MUST remove ourself from the AbstractTypeUser list, even though
-  // the type is apparently concrete.
-  //
-  void removeUserFromConcrete();
 };
 
 
diff --git a/include/llvm/Type.h b/include/llvm/Type.h
index 502a9d9046a..dd2fd9b1132 100644
--- a/include/llvm/Type.h
+++ b/include/llvm/Type.h
@@ -357,11 +357,6 @@ inline void PATypeHandle::removeUser() {
     Ty->removeAbstractTypeUser(User);
 }
 
-inline void PATypeHandle::removeUserFromConcrete() {
-  if (!Ty->isAbstract())
-    Ty->removeAbstractTypeUser(User);
-}
-
 // Define inline methods for PATypeHolder...
 
 inline void PATypeHolder::addRef() {