summaryrefslogtreecommitdiffhomepage
path: root/ir/libcore
diff options
context:
space:
mode:
authorChristoph Mallon <mallon@cs.uni-saarland.de>2015-07-14 07:47:28 +0200
committerChristoph Mallon <mallon@cs.uni-saarland.de>2015-07-14 08:07:04 +0200
commite85ac64d75fa9191be74609e009be252c3e979ce (patch)
tree93ec0098f479d227f68b5884d3d2d8a73c45f0fa /ir/libcore
parent62b5658d14662a60b6fd12b007d088b6150f5038 (diff)
Remove unnecessary #include.
Diffstat (limited to 'ir/libcore')
-rw-r--r--ir/libcore/lc_opts.h2
1 files changed, 0 insertions, 2 deletions
diff --git a/ir/libcore/lc_opts.h b/ir/libcore/lc_opts.h
index ef7d757..91de965 100644
--- a/ir/libcore/lc_opts.h
+++ b/ir/libcore/lc_opts.h
@@ -15,8 +15,6 @@
#include <stdio.h>
#include <stdbool.h>
-#include "lc_printf.h"
-
/**
* The type of an option.
*/