From eaae83c123f5e8e103abbbe822fe73b791d9d5c9 Mon Sep 17 00:00:00 2001 From: Kevin Grittner Date: Wed, 24 Aug 2016 13:20:25 -0500 Subject: [PATCH] Remove unnecessary #include. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 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 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"