diff --git a/src/dune b/src/dune
index dea5fe6e33dcd83ad3db62e02109826ca672841d..31106c84ff536d9719736f2c2bf99c06e4501bfa 100644
--- a/src/dune
+++ b/src/dune
@@ -44,7 +44,7 @@
   (name frama_c_kernel)
   (public_name frama-c.kernel)
   (foreign_stubs (language c) (names c_bindings))
-  (flags :standard -w -9-32-34)
+  (flags :standard -w -9)
   (libraries frama-c.init str unix zarith ocamlgraph dynlink bytes yojson dune-site dune-site.plugins)
   (preprocess (staged_pps ppx_import ppx_deriving.eq))
 )
diff --git a/src/kernel_services/abstract_interp/offsetmap.ml b/src/kernel_services/abstract_interp/offsetmap.ml
index 443f613e6a5662fb920da960c2d9525f99a35841..fbb0e33eddfd1228afe1623f7b99ef879e22fc97 100644
--- a/src/kernel_services/abstract_interp/offsetmap.ml
+++ b/src/kernel_services/abstract_interp/offsetmap.ml
@@ -2384,8 +2384,6 @@ end
 
 module Int_Intervals = struct
 
-  type itv = Int.t * Int.t
-
   type intervals =
     | Top
     | Intervals of Int.t * Int_Intervals_Map.t * Int.t * Int.t
diff --git a/src/kernel_services/plugin_entry_points/dynamic.ml b/src/kernel_services/plugin_entry_points/dynamic.ml
index 4db425f44967bae4992b9483f10a54d46bb78414..faf704b58d7f19724efc38cd906013b9ebefb140 100644
--- a/src/kernel_services/plugin_entry_points/dynamic.ml
+++ b/src/kernel_services/plugin_entry_points/dynamic.ml
@@ -86,7 +86,6 @@ let dynlib_module name file =
 (* --- Utilities                                                          --- *)
 (* -------------------------------------------------------------------------- *)
 
-let split_word = Str.(split (regexp ":"))
 let split_ext p =
   try
     let k = String.rindex p '.' in
@@ -102,12 +101,6 @@ let is_package =
   let pkg = Str.regexp "[a-z-_][a-z-_0-9.]*$" in
   fun name -> Str.string_match pkg name 0
 
-let is_meta =
-  let meta = Str.regexp "META.frama-c-[a-z-_][a-z-_0-9]*$" in
-  fun name -> Str.string_match meta name 0
-
-let is_dir d = Sys.file_exists d && Sys.is_directory d
-
 let is_file base ext =
   let file = base ^ ext in
   if Sys.file_exists file then Some file else None