diff --git a/.gitignore b/.gitignore
index aacaa22f30990e7a8d314cc19fa298718856ba74..d2b865233b33fa755b314335235c8f0c62992811 100644
--- a/.gitignore
+++ b/.gitignore
@@ -201,7 +201,6 @@ Makefile.plugin.generated
 /src/kernel_internals/parsing/clexer.ml
 /src/kernel_internals/parsing/cparser.ml
 /src/kernel_internals/parsing/cparser.mli
-/src/libraries/stdlib/transitioning.ml
 # /src/plugins/callgraph/cg_viewer.ml
 /src/plugins/gui/debug_manager.ml
 /src/plugins/gui/dgraph_helper.ml
diff --git a/src/libraries/stdlib/dune b/src/libraries/stdlib/dune
deleted file mode 100644
index c79da3d5fd5daad3a75d158f4a5b9c3fcd4efff8..0000000000000000000000000000000000000000
--- a/src/libraries/stdlib/dune
+++ /dev/null
@@ -1,27 +0,0 @@
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-;;                                                                        ;;
-;;  This file is part of Frama-C.                                         ;;
-;;                                                                        ;;
-;;  Copyright (C) 2007-2022                                               ;;
-;;    CEA (Commissariat à l'énergie atomique et aux énergies              ;;
-;;         alternatives)                                                  ;;
-;;                                                                        ;;
-;;  you can redistribute it and/or modify it under the terms of the GNU   ;;
-;;  Lesser General Public License as published by the Free Software       ;;
-;;  Foundation, version 2.1.                                              ;;
-;;                                                                        ;;
-;;  It is distributed in the hope that it will be useful,                 ;;
-;;  but WITHOUT ANY WARRANTY; without even the implied warranty of        ;;
-;;  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the         ;;
-;;  GNU Lesser General Public License for more details.                   ;;
-;;                                                                        ;;
-;;  See the GNU Lesser General Public License version 2.1                 ;;
-;;  for more details (enclosed in the file licenses/LGPLv2.1).            ;;
-;;                                                                        ;;
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-
-(rule
-  (targets transitioning.ml)
-  (deps transitioning.ml.in ../../../config.sed)
-  (action (with-stdout-to transitioning.ml (run sed -f ../../../config.sed transitioning.ml.in)))
-)
diff --git a/src/libraries/stdlib/transitioning.ml.in b/src/libraries/stdlib/transitioning.ml
similarity index 100%
rename from src/libraries/stdlib/transitioning.ml.in
rename to src/libraries/stdlib/transitioning.ml