Index: /soft/giet_vm/sys/sys_handler.c
===================================================================
--- /soft/giet_vm/sys/sys_handler.c	(revision 228)
+++ /soft/giet_vm/sys/sys_handler.c	(revision 229)
@@ -17,5 +17,4 @@
 #include <giet_config.h>
 #include <mapping_info.h>
-#include <srl_memspace.h>
 
 ////////////////////////////////////////////////////////////////////////////
