--- Gnu-Mach/kern/mach4.srv	2020/09/02 04:41:08	1.1.1.2
+++ Gnu-Mach/kern/mach4.srv	2020/09/02 04:45:11	1.1.1.3
@@ -21,8 +21,6 @@
  */
 /* This is a server presentation file.  */
 
-#include <mach_pcsample.h>
-
 #define KERNEL_SERVER 1
 
 #ifdef MIGRATING_THREADS