From: blackdragonepic <32581667+blackdragonepic@users.noreply.github.com>
Date: Mon, 29 Jan 2018 02:53:46 +0000 (-0500)
Subject: remove a duplicate include
X-Git-Url: http://zhaoyanbai.com/repos/?a=commitdiff_plain;h=4667c87c4d7830a403860b6355a6a09ef4ed0bee;p=minix.git

remove a duplicate include

removed #include <minix/type.h> duplicate

Closes #246

Change-Id: Icd575c452d562eb601133157a77d9d995ce043e9
---

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>