diff --git a/src/pluto/kernel.c b/src/pluto/kernel.c index 13574f1cb..e4729ef08 100644 --- a/src/pluto/kernel.c +++ b/src/pluto/kernel.c @@ -23,10 +23,10 @@ #include #include #include -#include #include #include #include +#include #include #include