[Variadic] Move Extends.Cil function to an apropriate location
Showing
- src/kernel_services/ast_queries/cil.ml 2 additions, 0 deletionssrc/kernel_services/ast_queries/cil.ml
- src/kernel_services/ast_queries/cil.mli 6 additions, 0 deletionssrc/kernel_services/ast_queries/cil.mli
- src/plugins/variadic/classify.ml 5 additions, 1 deletionsrc/plugins/variadic/classify.ml
- src/plugins/variadic/extends.ml 0 additions, 12 deletionssrc/plugins/variadic/extends.ml
- src/plugins/variadic/extends.mli 0 additions, 12 deletionssrc/plugins/variadic/extends.mli
- src/plugins/variadic/format_typer.ml 6 additions, 6 deletionssrc/plugins/variadic/format_typer.ml
- src/plugins/variadic/standard.ml 0 additions, 1 deletionsrc/plugins/variadic/standard.ml
- src/plugins/variadic/translate.ml 1 addition, 1 deletionsrc/plugins/variadic/translate.ml
Loading
Please register or sign in to comment