From d9d625d8efb33f0efa885f9f6307452bc20cb26e Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Mon, 3 Feb 2020 10:21:14 +0100
Subject: [PATCH] [stdlib] Remove FCMap from header spec.

---
 headers/header_spec.txt | 2 --
 1 file changed, 2 deletions(-)

diff --git a/headers/header_spec.txt b/headers/header_spec.txt
index 344cd1be2b0..f93a3797c6f 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
-- 
GitLab