summaryrefslogtreecommitdiffhomepage
path: root/ir/ident
diff options
context:
space:
mode:
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>2008-10-05 17:07:10 +0200
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>2008-10-05 17:07:10 +0200
commit1848b4542685fb2eeb5f97ee80d8f5ad56a36d23 (patch)
tree3a3b08e8f8dc48dcacfec735c164b30665cdf62c /ir/ident
parente07b61c6ed5d198a484761f8a40a4f26520d964d (diff)
- add missing include
[r22499]
Diffstat (limited to 'ir/ident')
-rw-r--r--ir/ident/ident.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/ir/ident/ident.c b/ir/ident/ident.c
index 0106279..47838da 100644
--- a/ir/ident/ident.c
+++ b/ir/ident/ident.c
@@ -40,6 +40,7 @@
#include "ident_t.h"
#include "set.h"
+#include "xmalloc.h"
/* for debugging only, not the real implementation */
struct _ident {