ignore-value: remove deprecated ignore_ptr function

[gnulib.git] / lib / ignore-value.h

diff --git a/lib/ignore-value.h b/lib/ignore-value.h
index 92f2fbc..52919de 100644 (file)
--- a/lib/ignore-value.h
+++ b/lib/ignore-value.h
@@ -54,9 +54,4 @@
 #  define ignore_value(x) (({ __typeof__ (x) __x = (x); (void) __x; }))
 # endif
 
-/* ignore_value works for scalars, pointers and aggregates;
-   deprecate ignore_ptr.  */
-static inline void _GL_ATTRIBUTE_DEPRECATED
-ignore_ptr (void *p) { (void) p; } /* deprecated: use ignore_value */
-
 #endif