projects / packages / pluto.git / blame
| Commit | Line | Data |
|---|---|---|
| 90d2a179 JR |
1 | diff -urNp -x '*.orig' pluto-0.11.4.org/include/pluto/libpluto.h pluto-0.11.4/include/pluto/libpluto.h |
| 2 | --- pluto-0.11.4.org/include/pluto/libpluto.h 2015-10-28 16:24:59.000000000 +0100 | |
| 3 | +++ pluto-0.11.4/include/pluto/libpluto.h 2022-02-16 09:51:43.867465467 +0100 | |
| 9b23d99d JB |
4 | @@ -1,7 +1,8 @@ |
| 5 | #ifndef __LIBPLUTO__ | |
| 6 | #define __LIBPLUTO__ | |
| 7 | -#include "isl/union_set.h" | |
| 8 | -#include "isl/union_map.h" | |
| 9 | +#include <isl/union_set.h> | |
| 10 | +#include <isl/union_map.h> | |
| 11 | +#include <osl/scop.h> | |
| 12 | ||
| 90d2a179 JR |
13 | #include "osl/scop.h" |
| 14 |