From d9b00d457de503be8c0d4be253408bf548b09a5a Mon Sep 17 00:00:00 2001 From: Sears Russell Date: Mon, 1 Dec 2008 04:29:42 +0000 Subject: [PATCH] Remove old comment. --- stasis/bufferManager.h | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/stasis/bufferManager.h b/stasis/bufferManager.h index a6ed713..3c72af8 100644 --- a/stasis/bufferManager.h +++ b/stasis/bufferManager.h @@ -169,18 +169,6 @@ compensated_function void __profile_releasePage(Page * p); compensated_function Page * __profile_loadPage(int xid, pageid_t pageid, char * file, int line); #endif - -/*compensated_function Page * bufManLoadPage(int xid, int pageid); - -void bufManReleasePage(Page * p); - -int bufManBufInit(); - -void bufManBufDeinit(); - -void setBufferManager(int i); */ - - END_C_DECLS #endif