--- a/kerneltest/e32test/demandpaging/t_svrpinning.cpp	Mon Feb 01 19:40:00 2010 +0100
+++ b/kerneltest/e32test/demandpaging/t_svrpinning.cpp	Mon Feb 01 19:49:38 2010 +0100
@@ -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>