diff options
author | Kevin Grittner | 2016-08-24 18:17:21 +0000 |
---|---|---|
committer | Kevin Grittner | 2016-08-24 18:17:21 +0000 |
commit | 5cd3864075622b203d530f1a710818777859304e (patch) | |
tree | 7781562e944a09d232fc4c0c52aed23fb12f5180 | |
parent | 0e4cc1fc51c77b3af22d8ff7163565c5ba96f310 (diff) |
Remove unnecessary #include.
Accidentally added in 8b65cf4c5edabdcae45ceaef7b9ac236879aae50.
Pointed out by Álvaro Herrera
-rw-r--r-- | src/include/storage/bufmgr.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/include/storage/bufmgr.h b/src/include/storage/bufmgr.h index fcd0c75b1c..7b6ba96000 100644 --- a/src/include/storage/bufmgr.h +++ b/src/include/storage/bufmgr.h @@ -14,7 +14,6 @@ #ifndef BUFMGR_H #define BUFMGR_H -#include "catalog/catalog.h" #include "storage/block.h" #include "storage/buf.h" #include "storage/bufpage.h" |