From 4667c87c4d7830a403860b6355a6a09ef4ed0bee 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 duplicate Closes #246 Change-Id: Icd575c452d562eb601133157a77d9d995ce043e9 --- 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 #include #include -#include #include #include #include -- 2.44.0