diff --git a/src/backend/utils/adt/inet_net_pton.c b/src/backend/utils/adt/inet_net_pton.c
index 1d32d2f04f6121bd0a56ebc58f4ecb7a055ecf59..66cdacecb54cad4fcb951c8e24e8e34d5ebdac1c 100644
--- a/src/backend/utils/adt/inet_net_pton.c
+++ b/src/backend/utils/adt/inet_net_pton.c
@@ -30,7 +30,7 @@ static const char rcsid[] = "Id: inet_net_pton.c,v 1.4.2.3 2004/03/17 00:40:11 m
 #include <assert.h>
 #include <ctype.h>
 
-#include "utils/builtins.h"
+#include "utils/builtins.h"	/* pgrminclude ignore */ /* needed on some platforms */
 #include "utils/inet.h"