1 files changed, 0 insertions, 17 deletions
diff --git a/cloog-0.16.3/isl/isl_printer_private.h b/cloog-0.16.3/isl/isl_printer_private.h
deleted file mode 100644
index 9d76808..0000000
--- a/cloog-0.16.3/isl/isl_printer_private.h
+++ /dev/null
@@ -1,17 +0,0 @@
-#include <isl/printer.h>
-
-struct isl_printer_ops;
-
-struct isl_printer {
-	struct isl_ctx	*ctx;
-	struct isl_printer_ops *ops;
-	FILE        	*file;
-	int		buf_n;
-	int		buf_size;
-	char		*buf;
-	int		indent;
-	int		output_format;
-	const char	*prefix;
-	const char	*suffix;
-	int		width;
-};