--- a/kerneltest/e32test/demandpaging/t_printsysinfo.cpp	Mon Jul 19 14:32:36 2010 +0100
+++ b/kerneltest/e32test/demandpaging/t_printsysinfo.cpp	Wed Jul 21 12:04:49 2010 +0100
@@ -20,7 +20,7 @@
 #include <e32test.h>
 #include <e32cmn.h>
 #include <dptest.h>
-#include "..\mmu\mmudetect.h"
+#include "../mmu/mmudetect.h"
 
 
 RTest test(_L("T_PRINTSYSINFO"));