summaryrefslogtreecommitdiffhomepage
path: root/ir/stat
diff options
context:
space:
mode:
authorChristoph Mallon <mallon@cs.uni-saarland.de>2015-01-25 10:42:48 +0100
committerChristoph Mallon <mallon@cs.uni-saarland.de>2015-01-25 10:46:05 +0100
commit1c9b1e1432e69a6c5825e75fbc9c1180f9d8c283 (patch)
treedefc7a948b86b825d4b1a29459fd1cf866a6ea60 /ir/stat
parente5e32183bc1e11ec1fbf28e8db11631f015754eb (diff)
cleanup: Remove unnecessary #include <limits.h>.
Diffstat (limited to 'ir/stat')
-rw-r--r--ir/stat/distrib.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/ir/stat/distrib.c b/ir/stat/distrib.c
index 3373a01..0eb0844 100644
--- a/ir/stat/distrib.c
+++ b/ir/stat/distrib.c
@@ -8,6 +8,8 @@
* @brief Statistics for Firm. Distribution tables.
* @author Michael Beck
*/
+#include <limits.h>
+
#include "hashptr.h"
#include "util.h"
#include "xmalloc.h"