]> Nishi Git Mirror - gwion.git/commitdiff
:art: Remove useless include
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Tue, 4 Aug 2020 08:29:35 +0000 (10:29 +0200)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Tue, 4 Aug 2020 08:29:35 +0000 (10:29 +0200)
src/vm/vm.c

index b4582fcfff8f0b3c4bfe72d59d7f1acd5848f9c8..aab88f5a2d8b3cedf1bb9dad3667696a65866f03 100644 (file)
@@ -11,7 +11,6 @@
 #include "gwion.h"
 #include "operator.h"
 #include "import.h"
-#include "map_private.h"
 #include "gack.h"
 #include "array.h"