summaryrefslogtreecommitdiffhomepage
path: root/ir/adt
diff options
context:
space:
mode:
authorChristoph Mallon <christoph.mallon@gmx.de>2014-03-28 03:21:43 +0100
committerChristoph Mallon <mallon@cs.uni-saarland.de>2014-11-30 14:36:25 +0100
commit2ccae1f9d1631c22cff77075d8437624a1465ccb (patch)
tree429b7166593847ed85e179671ca4f4ea198838d4 /ir/adt
parent7088053c0387d3f739d1b6e5d3e0c07030f5b02b (diff)
all: Remove unnecessary #include.
Diffstat (limited to 'ir/adt')
-rw-r--r--ir/adt/util.h1
1 files changed, 0 insertions, 1 deletions
diff --git a/ir/adt/util.h b/ir/adt/util.h
index adc154f..1025a3c 100644
--- a/ir/adt/util.h
+++ b/ir/adt/util.h
@@ -12,7 +12,6 @@
#ifndef FIRM_ADT_UTIL_H
#define FIRM_ADT_UTIL_H
-#include <stddef.h>
#include <string.h>
/**