1.1 --- a/files/file_pager.h Thu Apr 01 00:39:16 2021 +0200
1.2 +++ b/files/file_pager.h Thu Apr 01 00:57:43 2021 +0200
1.3 @@ -2,20 +2,20 @@
1.4
1.5 #include "mapped_file_object_interface.h"
1.6 #include "pager.h"
1.7 -#include "paging.h"
1.8 +#include "file_paging.h"
1.9
1.10 /* A pager abstraction for a file. */
1.11
1.12 class FilePager : public Pager, public MappedFileObject
1.13 {
1.14 protected:
1.15 - Paging *_paging;
1.16 + FilePaging *_paging;
1.17
1.18 public:
1.19 fileid_t fileid;
1.20
1.21 explicit FilePager(fileid_t fileid, PageMapper *mapper, flags_t flags,
1.22 - Paging *paging);
1.23 + FilePaging *paging);
1.24
1.25 virtual void close();
1.26