2 files changed, 0 insertions, 17 deletions
diff --git a/crawl-ref/source/menu.cc b/crawl-ref/source/menu.cc
index e489aa0d83..846f5fc0fa 100644
--- a/crawl-ref/source/menu.cc
+++ b/crawl-ref/source/menu.cc
@@ -272,21 +272,6 @@ void Menu::add_entry( MenuEntry *entry )
     items.push_back( entry );
 }
 
-bool Menu::del_entry( MenuEntry *entry )
-{
-    for (unsigned int i = first_entry; i < items.size(); i++)
-    {
-        if (items[i] == entry)
-        {
-            items.erase(items.begin() + i);
-            last_selected = -1;
-            return (true);
-        }
-    }
-
-    return (false);
-}
-
 void Menu::reset()
 {
     first_entry = 0;
diff --git a/crawl-ref/source/menu.h b/crawl-ref/source/menu.h
index 8760d7a0d9..fb822388ed 100644
--- a/crawl-ref/source/menu.h
+++ b/crawl-ref/source/menu.h
@@ -316,8 +316,6 @@ public:
     void set_highlighter( MenuHighlighter *h );
     void set_title( MenuEntry *e, bool first = true );
     void add_entry( MenuEntry *entry );
-    bool del_entry( MenuEntry *entry );
-    bool del_entry( int entry_index );
     void get_selected( std::vector<MenuEntry*> *sel ) const;
 
     void set_maxpagesize(int max);