1 files changed, 0 insertions, 3 deletions
diff --git a/mps/code/eventrep.c b/mps/code/eventrep.c
index e0d8e2baa17..7bbf2828eb2 100644
--- a/mps/code/eventrep.c
+++ b/mps/code/eventrep.c
@@ -29,9 +29,6 @@
 #include <stdlib.h> /* for EXIT_FAILURE */
 #include <stdio.h> /* for printf */
 #include "mpstd.h"
-#ifdef MPS_OS_SU
-#include "ossu.h"
-#endif
 #ifdef MPS_PF_W3I6MV

diff --git a/mps/code/eventrep.c b/mps/code/eventrep.c index e0d8e2baa17..7bbf2828eb2 100644 --- a/mps/code/eventrep.c +++ b/mps/code/eventrep.c
@@ -29,9 +29,6 @@
29	#include <stdlib.h> /* for EXIT_FAILURE */	29	#include <stdlib.h> /* for EXIT_FAILURE */
30	#include <stdio.h> /* for printf */	30	#include <stdio.h> /* for printf */
31	#include "mpstd.h"	31	#include "mpstd.h"
32	#ifdef MPS_OS_SU
33	#include "ossu.h"
34	#endif
35		32
36		33
37	#ifdef MPS_PF_W3I6MV	34	#ifdef MPS_PF_W3I6MV