From ac2bff13f7de591a2ad4316cece11a686d78afe6 Mon Sep 17 00:00:00 2001 From: Adam Guo Date: Mon, 17 Mar 2025 21:30:52 +0000 Subject: [PATCH] Remove unused header --- pg_ivm.c | 1 - 1 file changed, 1 deletion(-) diff --git a/pg_ivm.c b/pg_ivm.c index 0a21544..19d0e0e 100644 --- a/pg_ivm.c +++ b/pg_ivm.c @@ -21,7 +21,6 @@ #include "catalog/pg_namespace_d.h" #include "catalog/pg_trigger_d.h" #include "commands/trigger.h" -#include "miscadmin.h" #include "parser/analyze.h" #include "parser/parser.h" #include "parser/scansup.h"