From b86d6d741163fa51a0c27a16ad467ae901a672bd Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Tue, 29 Apr 2014 09:57:34 +0200
Subject: [PATCH] remove spurious include of isl/config.h

Commit 6340a4f (remove WARN_UNUSED from public header, Thu Apr 17 12:55:06
2014 +0200) removed the generation of this file, but failed to remove
the include from the include/isl/ctx.h header file.

Reported-by: Michael Kruse <meinersbur@googlemail.com>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---
 include/isl/ctx.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/include/isl/ctx.h b/include/isl/ctx.h
index 777ba650..1eff415b 100644
--- a/include/isl/ctx.h
+++ b/include/isl/ctx.h
@@ -15,7 +15,6 @@
 
 #include <isl/arg.h>
 #include <isl/hash.h>
-#include <isl/config.h>
 
 #ifndef __isl_give
 #define __isl_give
-- 
2.11.4.GIT