]> Nishi Git Mirror - gwion.git/commitdiff
:shirt: Remove useless header
authorfennecdjay <astor.jeremie@wanadoo.fr>
Tue, 15 Oct 2019 17:31:42 +0000 (19:31 +0200)
committerfennecdjay <astor.jeremie@wanadoo.fr>
Tue, 15 Oct 2019 17:31:42 +0000 (19:31 +0200)
src/main.c

index 72a3a22f043afffeab277c4796fcb1f30b10f457..281e6a2a30460ea5360232078dd7436632930db3 100644 (file)
@@ -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);