1 files changed, 1 insertions, 4 deletions
diff --git a/crawl-ref/source/player.h b/crawl-ref/source/player.h
index 8c57eee2d7..aebace1a3e 100644
--- a/crawl-ref/source/player.h
+++ b/crawl-ref/source/player.h
@@ -537,10 +537,7 @@ public:
     void set_duration(duration_type dur, int turns, int cap = 0,
                       const char *msg = NULL);
 
-    // How large can the experience pool grow without loss?
-    int exp_pool_cutoff() const;
-    // Step down experience above cutoff.
-    void step_down_exp_pool();
+
 
 protected:
     void _removed_beholder();