From 5108d9507daf4d10adad7542d37c0c9b3f18ed13 Mon Sep 17 00:00:00 2001 From: Tobias Brunner Date: Fri, 14 Oct 2011 14:54:55 +0200 Subject: [PATCH] pluto: Include fixed. --- src/pluto/kernel.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/pluto/kernel.c b/src/pluto/kernel.c index 13574f1cb1..e4729ef08d 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 -- 2.47.2