diff options
Diffstat (limited to 'libddekit/include/ddekit')
| -rw-r--r-- | libddekit/include/ddekit/pgtab.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libddekit/include/ddekit/pgtab.h b/libddekit/include/ddekit/pgtab.h index 3b68192c..8964b713 100644 --- a/libddekit/include/ddekit/pgtab.h +++ b/libddekit/include/ddekit/pgtab.h @@ -8,7 +8,7 @@ #ifndef _ddekit_pgtab_h #define _ddekit_pgtab_h -#include <l4/dde/ddekit/types.h> +#include "ddekit/types.h" /* FIXME Region types may be defined by pgtab users. Do we really need them * here? */ |