* Sync up to trunk head (r65394).
[reactos.git] / ntoskrnl / mm / amd64 / init.c
index 64693c7..8a90976 100644 (file)
@@ -14,7 +14,7 @@
 //#define NDEBUG
 #include <debug.h>
 
-#include "../ARM3/miarm.h"
+#include <mm/ARM3/miarm.h>
 
 #ifdef _WINKD_
 extern PMMPTE MmDebugPte;