* Sync up to trunk head (r65394).
[reactos.git] / ntoskrnl / kd64 / kddata.c
index 5a1e10e..1cdc549 100644 (file)
@@ -11,7 +11,7 @@
 #include <ntoskrnl.h>
 #define NDEBUG
 #include <debug.h>
-#include "../mm/ARM3/miarm.h"
+#include <mm/ARM3/miarm.h>
 #undef MmSystemRangeStart
 
 VOID NTAPI RtlpBreakWithStatusInstruction(VOID);