diff options
| author | bunnei <bunneidev@gmail.com> | 2022-03-21 18:03:54 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-21 18:03:54 -0700 |
| commit | 82ac66f8a47f32ac530bcacbe375a52ccdc455c7 (patch) | |
| tree | 5ea8479db76c8282b9b41142c6912080c17414e8 /src/common/page_table.h | |
| parent | ff2e8910225134af408b8ca148ac7c1bc1b9e967 (diff) | |
| parent | 866b7c20a8958069a048ffa600155ec3cbd2e5f2 (diff) | |
Merge pull request #8048 from ameerj/include-purge
general: Reduce unused includes across the project
Diffstat (limited to 'src/common/page_table.h')
| -rw-r--r-- | src/common/page_table.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/common/page_table.h b/src/common/page_table.h index 82d91e9f3..13f4b44c0 100644 --- a/src/common/page_table.h +++ b/src/common/page_table.h @@ -5,7 +5,6 @@ #pragma once #include <atomic> -#include <tuple> #include "common/common_types.h" #include "common/virtual_buffer.h" |