pluto-include.patch

   1 --- pluto-0.11.0/include/pluto/libpluto.h.orig  2014-05-30 10:28:06.000000000 +0200
   2 +++ pluto-0.11.0/include/pluto/libpluto.h       2014-10-06 16:13:49.032098067 +0200
   3 @@ -1,7 +1,8 @@
   4  #ifndef __LIBPLUTO__
   5  #define __LIBPLUTO__
   6 -#include "isl/union_set.h"
   7 -#include "isl/union_map.h"
   8 +#include <isl/union_set.h>
   9 +#include <isl/union_map.h>
  10 +#include <osl/scop.h>
  11
  12  #if defined(__cplusplus)
  13  extern "C" {