From 457428d9e99b6bed6f3aabd596cb882564d1e207 Mon Sep 17 00:00:00 2001 From: Peter Eisentraut Date: Mon, 4 Dec 2023 06:34:27 +0100 Subject: [PATCH] Remove unnecessary include of This was probably never necessary. (The header used to use random(), but that shouldn't require either. In any case, that's gone, too.) Reviewed-by: Shubham Khanna Reviewed-by: Tom Lane Discussion: https://www.postgresql.org/message-id/flat/cff5475d-e0a9-4561-b094-794aa36bd031%40eisentraut.org --- src/include/optimizer/geqo_random.h | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/include/optimizer/geqo_random.h b/src/include/optimizer/geqo_random.h index 08b0c08d85f..e3e12e900d0 100644 --- a/src/include/optimizer/geqo_random.h +++ b/src/include/optimizer/geqo_random.h @@ -24,8 +24,6 @@ #ifndef GEQO_RANDOM_H #define GEQO_RANDOM_H -#include - #include "optimizer/geqo.h" -- 2.30.2