Paul Eggert wrote:
> @@ -127,10 +133,12 @@ extern "C" {
> /* Use the signed type 'ptrdiff_t'. */
> /* Note: ISO C does not mandate that 'size_t' and 'ptrdiff_t' have the same
> size, but it is so on all platforms we have seen since 1990. */
> +#ifdef __PTRDIFF_TYPE__
> +typedef __PTRDIFF_TYPE__ idx_t;
> +#else
> +# include <stddef.h>
This second include of <stddef.h> is redundant.
2026-04-28 Bruno Haible <[email protected]>
idx: Remove redundant #include.
* lib/idx.h: Drop the second #include <stddef.h>.
diff --git a/lib/idx.h b/lib/idx.h
index d4f85323da..b6d304dbbd 100644
--- a/lib/idx.h
+++ b/lib/idx.h
@@ -136,7 +136,7 @@ extern "C" {
#ifdef __PTRDIFF_TYPE__
typedef __PTRDIFF_TYPE__ idx_t;
#else
-# include <stddef.h>
+/* <stddef.h> already included above. */
typedef ptrdiff_t idx_t;
#endif
