diff --git a/src/plugins/e-acsl/visit.ml b/src/plugins/e-acsl/visit.ml
index 0229ed833c17916e8b92750b26aac5b3d7ffa4ea..dcfb10833614b0b0848606ccdcd15cc430e03021 100644
--- a/src/plugins/e-acsl/visit.ml
+++ b/src/plugins/e-acsl/visit.ml
@@ -19,7 +19,6 @@
 (*                                                                        *)
 (**************************************************************************)
 
-open Db_types
 open Cil_types
 open Cil_datatype
 open Cil