From 4605970b4b19be516304e0dceca9a796f81061f6 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Thu, 3 Mar 2022 10:33:05 +0100
Subject: [PATCH] [E-ACSL] fixes warning 33

---
 src/plugins/e-acsl/src/analyses/logic_normalizer.mli | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/plugins/e-acsl/src/analyses/logic_normalizer.mli b/src/plugins/e-acsl/src/analyses/logic_normalizer.mli
index bee473b8b87..d31a59ca381 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 *)
-- 
GitLab