[kernel] Remove attributeClass and open Ast_attributes
Showing
- src/kernel_internals/typing/cabs2cil.ml 72 additions, 68 deletionssrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_services/ast_queries/cil.ml 0 additions, 16 deletionssrc/kernel_services/ast_queries/cil.ml
- src/kernel_services/ast_queries/cil.mli 2 additions, 21 deletionssrc/kernel_services/ast_queries/cil.mli
Loading
Please register or sign in to comment