From 9840d6581b3ea0a2c817e5c9279826c7ce8af027 Mon Sep 17 00:00:00 2001 From: Connor Tsui Date: Tue, 17 Sep 2024 15:33:28 -0400 Subject: [PATCH] use fmt::println instead of std::cerr --- src/buffer/buffer_pool_manager.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/buffer/buffer_pool_manager.cpp b/src/buffer/buffer_pool_manager.cpp index d200261d3..1bb9a4d2c 100644 --- a/src/buffer/buffer_pool_manager.cpp +++ b/src/buffer/buffer_pool_manager.cpp @@ -241,7 +241,7 @@ auto BufferPoolManager::WritePage(page_id_t page_id, AccessType access_type) -> auto guard_opt = CheckedWritePage(page_id, access_type); if (!guard_opt.has_value()) { - std::cerr << fmt::format("\n`CheckedPageWrite` failed to bring in page {}\n\n", page_id); + fmt::println(stderr, "\n`CheckedWritePage` failed to bring in page {}\n", page_id); std::abort(); } @@ -266,7 +266,7 @@ auto BufferPoolManager::ReadPage(page_id_t page_id, AccessType access_type) -> R auto guard_opt = CheckedReadPage(page_id, access_type); if (!guard_opt.has_value()) { - std::cerr << fmt::format("\n`CheckedPageRead` failed to bring in page {}\n\n", page_id); + fmt::println(stderr, "\n`CheckedReadPage` failed to bring in page {}\n", page_id); std::abort(); }