diff --git a/src/kernel_services/ast_data/ast.ml b/src/kernel_services/ast_data/ast.ml
index c7fcabb67d62459612d5e4cb52e16d4ca19a7386..9ebc8a74a1b5ffae59bbf5fc40cb5d09bc1679cb 100644
--- a/src/kernel_services/ast_data/ast.ml
+++ b/src/kernel_services/ast_data/ast.ml
@@ -39,6 +39,8 @@ include
            Kernel.PreprocessAnnot.self;
            Kernel.Files.self;
            Kernel.UnrollingLevel.self;
+           Kernel.Keep_unused_specified_functions.self;
+           Kernel.Keep_unused_types.self;
            Cil.selfFormalsDecl ]
      end)