diff --git a/headers/header_spec.txt b/headers/header_spec.txt
index 344cd1be2b0de6145b496b92c51a2575a06b637a..f93a3797c6f1586aaeaa52de9858856bd5509e5b 100644
--- a/headers/header_spec.txt
+++ b/headers/header_spec.txt
@@ -630,8 +630,6 @@ src/libraries/project/state_topological.ml: MODIFIED_OCAMLGRAPH
 src/libraries/project/state_topological.mli: MODIFIED_OCAMLGRAPH
 src/libraries/stdlib/FCHashtbl.ml: CEA_LGPL
 src/libraries/stdlib/FCHashtbl.mli: CEA_LGPL
-src/libraries/stdlib/FCMap.ml: OCAML_STDLIB
-src/libraries/stdlib/FCMap.mli: OCAML_STDLIB
 src/libraries/stdlib/README.md: .ignore
 src/libraries/stdlib/extlib.ml: CEA_LGPL
 src/libraries/stdlib/extlib.mli: CEA_LGPL