--- Gnu-Mach/include/mach/rpc.h	2020/09/02 04:36:57	1.1
+++ Gnu-Mach/include/mach/rpc.h	2020/09/02 04:48:14	1.1.1.2
@@ -21,7 +21,6 @@
 
 #include <mach/kern_return.h>
 #include <mach/message.h>
-#include <mach/machine/rpc.h>
 
 /*
  * Description of a port passed up by the leaky-register RPC path