diff --git a/src/plugins/e-acsl/src/analyses/logic_normalizer.mli b/src/plugins/e-acsl/src/analyses/logic_normalizer.mli
index bee473b8b87d60499c8f81445a3e7d93251632ac..d31a59ca38179242a48b56a61c817d3b579f6b8c 100644
--- a/src/plugins/e-acsl/src/analyses/logic_normalizer.mli
+++ b/src/plugins/e-acsl/src/analyses/logic_normalizer.mli
@@ -30,7 +30,6 @@
 *)
 
 open Cil_types
-open Analyses_types
 
 val preprocess : file -> unit
 (** Preprocess all the predicates of the ast and store the results *)