From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Fri, 22 Feb 2019 14:13:42 +0000 (+0100)
Subject: :shirt: Remove useless header
X-Git-Tag: nightly~2761^2~8
X-Git-Url: http://10.11.0.4:5575/?a=commitdiff_plain;h=1630cfd1c0d2accaff53249d2bd499116335c49e;p=gwion.git

:shirt: Remove useless header
---

diff --git a/src/plug.c b/src/plug.c
index 402f3822..4729fa36 100644
--- a/src/plug.c
+++ b/src/plug.c
@@ -12,7 +12,6 @@
 #include "object.h"
 #include "import.h"
 #include "gwion.h"
-#include "plug.h"
 
 static inline int so_filter(const struct dirent* dir) {
   return strstr(dir->d_name, ".so") ? 1 : 0;