diff options
Diffstat (limited to 'polly/lib/External/isl/interface/python.h')
-rw-r--r-- | polly/lib/External/isl/interface/python.h | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/polly/lib/External/isl/interface/python.h b/polly/lib/External/isl/interface/python.h deleted file mode 100644 index 0f6e8ec5b2f..00000000000 --- a/polly/lib/External/isl/interface/python.h +++ /dev/null @@ -1,7 +0,0 @@ -#include <set> -#include <clang/AST/Decl.h> - -using namespace std; -using namespace clang; - -void generate_python(set<RecordDecl *> &types, set<FunctionDecl *> functions); |