diff options
Diffstat (limited to 'extras/mini-os/arch/ia64/debug.c')
| -rw-r--r-- | extras/mini-os/arch/ia64/debug.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/mini-os/arch/ia64/debug.c b/extras/mini-os/arch/ia64/debug.c index f5b378381f..f0e57776f7 100644 --- a/extras/mini-os/arch/ia64/debug.c +++ b/extras/mini-os/arch/ia64/debug.c @@ -27,7 +27,7 @@ * DEALINGS IN THE SOFTWARE. */ -#include "os.h" +#include <mini-os/os.h> static const char *ia64_vector_names[] = { "VHPT Translation", /* 0 */ |