ignore-value: remove dependency on stdint

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

diff --git a/lib/ignore-value.h b/lib/ignore-value.h
index 7fd4772..5e683bb 100644 (file)
--- a/lib/ignore-value.h
+++ b/lib/ignore-value.h
@@ -35,8 +35,6 @@
 #ifndef _GL_IGNORE_VALUE_H
 # define _GL_IGNORE_VALUE_H
 
-# include <stdint.h>
-
 # ifndef ATTRIBUTE_DEPRECATED
 /* The __attribute__((__deprecated__)) feature
    is available in gcc versions 3.1 and newer.  */