diff --git a/headers/header_spec.txt b/headers/header_spec.txt
index 8538850d61eee479c79dcc7fc7c1f34ad3dfbf51..2f826961dbc5ba32495c8d1660baa1890f6cd291 100644
--- a/headers/header_spec.txt
+++ b/headers/header_spec.txt
@@ -664,8 +664,6 @@ src/libraries/utils/pretty_utils.ml: CEA_LGPL
 src/libraries/utils/pretty_utils.mli: CEA_LGPL
 src/libraries/utils/qstack.ml: CEA_LGPL
 src/libraries/utils/qstack.mli: CEA_LGPL
-src/libraries/utils/sanitizer.ml: CEA_LGPL
-src/libraries/utils/sanitizer.mli: CEA_LGPL
 src/libraries/utils/rangemap.ml: OCAML_STDLIB
 src/libraries/utils/rangemap.mli: OCAML_STDLIB
 src/libraries/utils/rgmap.ml: CEA_LGPL