--- a/kerneltest/e32test/demandpaging/t_svrpinning.cpp	Wed Dec 23 11:43:31 2009 +0000
+++ b/kerneltest/e32test/demandpaging/t_svrpinning.cpp	Thu Jan 07 13:38:45 2010 +0200
@@ -32,6 +32,7 @@
 #include <e32def.h>
 #include <e32def_private.h>
 #include <e32test.h>
+#include <e32ver.h>
 #include <e32panic.h>
 #include <dptest.h>
 #include <u32hal.h>