changeset 10 | 36bfc973b146 |
parent 9 | 96e5fb8b040d |
child 42 | a179b74831c9 |
--- a/kerneltest/e32test/demandpaging/t_svrpinning.cpp Thu Dec 17 09:24:54 2009 +0200 +++ 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>