diff --git a/src/lladd/page/slotted.c b/src/lladd/page/slotted.c index 70acfc5..7ba7765 100644 --- a/src/lladd/page/slotted.c +++ b/src/lladd/page/slotted.c @@ -123,7 +123,7 @@ void slottedPageInit() { lastFreepage = -1; } -void slottedPageDeinit() { +void slottedPageDeInit() { /* pthread_mutex_destroy(&lastFreepage_mutex); */ } diff --git a/src/lladd/page/slotted.h b/src/lladd/page/slotted.h index b662ae8..bb5fa37 100644 --- a/src/lladd/page/slotted.h +++ b/src/lladd/page/slotted.h @@ -122,7 +122,7 @@ recordid slottedPostRalloc(int xid, Page * page, lsn_t lsn, recordid rid); void slottedDeRalloc(int xid, Page * page, lsn_t lsn, recordid rid); void slottedPageInit(); -void slottedPageDeinit(); +void slottedPageDeInit(); /** *