diff --git a/.gitignore b/.gitignore
index b458e734ce8fc11f52dd8058aeef29319dba8dfc..de43450eff5ee7cb09c766ebbf36124e1680d579 100644
--- a/.gitignore
+++ b/.gitignore
@@ -193,7 +193,6 @@ Makefile.plugin.generated
 /src/libraries/utils/json.ml
 /src/kernel_internals/runtime/toplevel_boot.ml
 /src/kernel_internals/runtime/fc_config.ml
-/src/kernel_internals/runtime/frama_c_config.ml
 /src/kernel_internals/parsing/logic_lexer.ml
 /src/kernel_internals/parsing/logic_parser.ml
 /src/kernel_internals/parsing/logic_parser.mli