]> Zhao Yanbai Git Server - minix.git/commitdiff
remove a duplicate include 12/3512/1
authorblackdragonepic <32581667+blackdragonepic@users.noreply.github.com>
Mon, 29 Jan 2018 02:53:46 +0000 (21:53 -0500)
committerLionel Sambuc <lionel.sambuc@gmail.com>
Fri, 23 Mar 2018 06:38:25 +0000 (07:38 +0100)
removed #include <minix/type.h> duplicate

Closes #246

Change-Id: Icd575c452d562eb601133157a77d9d995ce043e9

minix/servers/pm/main.c

index 825c8abbaf3eacc371152c969882b41dc2220555..15eff637d291327944ea0c9e04737d69717d9145 100644 (file)
@@ -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>