From 86394b725a7d9bb4d283b4368329bccb8395a5fc Mon Sep 17 00:00:00 2001
From: blackdragonepic <32581667+blackdragonepic@users.noreply.github.com>
Date: Sun, 28 Jan 2018 21:53:46 -0500
Subject: [PATCH] remove a duplicate include

removed #include <minix/type.h> duplicate
---
 minix/servers/pm/main.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/minix/servers/pm/main.c b/minix/servers/pm/main.c
index 825c8abba..15eff637d 100644
--- a/minix/servers/pm/main.c
+++ b/minix/servers/pm/main.c
@@ -13,7 +13,6 @@
 #include <minix/callnr.h>
 #include <minix/com.h>
 #include <minix/ds.h>
-#include <minix/type.h>
 #include <minix/endpoint.h>
 #include <minix/minlib.h>
 #include <minix/type.h>