Remove old comment.
This commit is contained in:
parent
77b24a991d
commit
d9b00d457d
1 changed files with 0 additions and 12 deletions
|
@ -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
|
||||
|
|
Loading…
Reference in a new issue