diff --git a/src/GdbServer.h b/src/GdbServer.h
index 83cd89a1961..5d25a13347b 100644
--- a/src/GdbServer.h
+++ b/src/GdbServer.h
@@ -182,11 +182,6 @@ class GdbServer {
    * isn't one.
    */
   ReplaySession::shr_ptr get_checkpoint(int checkpoint_id);
-  /**
-   * Delete the checkpoint stored as |checkpoint_id| if it exists, or do
-   * nothing if it doesn't exist.
-   */
-  void delete_checkpoint(int checkpoint_id);
 
   /**
    * Handle GDB file open requests. If we can serve this read request, add