From 5cd3864075622b203d530f1a710818777859304e Mon Sep 17 00:00:00 2001 From: Kevin Grittner Date: Wed, 24 Aug 2016 13:17:21 -0500 Subject: [PATCH] Remove unnecessary #include. MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Accidentally added in 8b65cf4c5edabdcae45ceaef7b9ac236879aae50. Pointed out by Álvaro Herrera --- src/include/storage/bufmgr.h | 1 - 1 file changed, 1 deletion(-) diff --git a/src/include/storage/bufmgr.h b/src/include/storage/bufmgr.h index fcd0c75b1c7..7b6ba960001 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" -- 2.39.5