From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Tue, 15 Oct 2019 17:31:42 +0000 (+0200)
Subject: :shirt: Remove useless header
X-Git-Tag: nightly~2131
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=89f95a0f4c3f1f74bdd10b3610275b2bce0712eb;p=gwion.git

:shirt: Remove useless header
---

diff --git a/src/main.c b/src/main.c
index 72a3a22f..281e6a2a 100644
--- a/src/main.c
+++ b/src/main.c
@@ -15,7 +15,6 @@ static void sig(int unused NUSED) {
 #endif
 }
 
-#include "type.h"
 int main(int argc, char** argv) {
   Arg arg = { .argc=argc, .argv=argv, .loop=-1 };
   signal(SIGINT, sig);