From 8bee36708f6ee4bf93be68f9a368379b0e9c6474 Mon Sep 17 00:00:00 2001 From: Peter Eisentraut Date: Thu, 14 Mar 2019 22:03:14 +0100 Subject: [PATCH] Remove unused #include --- src/backend/executor/execMain.c | 1 - 1 file changed, 1 deletion(-) diff --git a/src/backend/executor/execMain.c b/src/backend/executor/execMain.c index 499917d45f..63a34760ee 100644 --- a/src/backend/executor/execMain.c +++ b/src/backend/executor/execMain.c @@ -54,7 +54,6 @@ #include "mb/pg_wchar.h" #include "miscadmin.h" #include "parser/parsetree.h" -#include "rewrite/rewriteManip.h" #include "storage/bufmgr.h" #include "storage/lmgr.h" #include "tcop/utility.h"