diff --git a/gen_ast.mli b/gen_ast.mli
new file mode 100644
index 0000000000000000000000000000000000000000..f85934795485ad14628902472a902e29929f4de0
--- /dev/null
+++ b/gen_ast.mli
@@ -0,0 +1 @@
+(* Nothing is exported *)
diff --git a/reorder_defs.ml b/reorder_defs.ml
index 5d78bece82ee59b5c5c2ae09c432da59c5f5164f..f81709426ea6260303815fb691689876ed98558e 100644
--- a/reorder_defs.ml
+++ b/reorder_defs.ml
@@ -2,7 +2,7 @@
 (*                                                                        *)
 (*  This file is part of Frama-Clang                                      *)
 (*                                                                        *)
-(*  Copyright (C) 2012-2021                                               *)
+(*  Copyright (C) 2012-2022                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
@@ -41,7 +41,7 @@ type dep_node =
     name: string;
     is_def: bool;
     mutable glob: definition option;
-    mutable ghost: bool; (* TODO: take ghost into account. *)
+    (* mutable ghost: bool; (* TODO: take ghost into account. *) *)
     mutable id: int
   }
 
@@ -179,7 +179,7 @@ end = struct
   let nodes = H.create 37
 
   let default_node kind name is_def =
-    { kind; name; is_def; glob = None; id = -1; ghost = false }
+    { kind; name; is_def; glob = None; id = -1; (* ghost = false *) }
 
   let replace_deps orig rep =
     if G.mem_vertex deps orig then begin