diff --git a/alliance/src/fmi/src/fmi_optim.c b/alliance/src/fmi/src/fmi_optim.c
index cf465615..799aa7c8 100644
--- a/alliance/src/fmi/src/fmi_optim.c
+++ b/alliance/src/fmi/src/fmi_optim.c
@@ -21,7 +21,6 @@
 # include <ctype.h>
 
 # include "mut.h"
-# include LOG_H
 # include "aut.h"
 # include "abl.h"
 # include "bdd.h"