1 files changed, 0 insertions, 2 deletions
diff --git a/src/main.c b/src/main.c
index f927563..544ce57 100644
--- a/src/main.c
+++ b/src/main.c
@@ -33,7 +33,6 @@
 #include "project.h"
 #include "arch/processor.h"
 #include "format/format.h"
-#include "format/mangling/demangler.h"
 #include "glibext/delayed.h"
 #include "gtkext/support.h"
 #include "plugins/pglist.h"
@@ -103,7 +102,6 @@ int main(int argc, char **argv)
 
     /* Initialisation du programme */
     init_all_processors();
-    init_all_demanglers();
     init_all_formats();
 
     /* Création de l'interface */