diff --git a/src/include/buffer/buffer_pool_manager.h b/src/include/buffer/buffer_pool_manager.h index fc010386a..595eb03f7 100644 --- a/src/include/buffer/buffer_pool_manager.h +++ b/src/include/buffer/buffer_pool_manager.h @@ -181,7 +181,7 @@ class BufferPoolManager { /** Array of buffer pool pages. */ Page *pages_; - /** Pointer to the disk sheduler. */ + /** Pointer to the disk scheduler. */ std::unique_ptr disk_scheduler_ __attribute__((__unused__)); /** Pointer to the log manager. Please ignore this for P1. */ LogManager *log_manager_ __attribute__((__unused__));