Remove unused constructions in cabs
Showing
- src/kernel_internals/typing/cabs2cil.ml 0 additions, 6 deletionssrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_services/ast_printing/cabs_debug.ml 0 additions, 7 deletionssrc/kernel_services/ast_printing/cabs_debug.ml
- src/kernel_services/ast_printing/cabs_debug.mli 0 additions, 1 deletionsrc/kernel_services/ast_printing/cabs_debug.mli
- src/kernel_services/ast_printing/cprint.ml 0 additions, 3 deletionssrc/kernel_services/ast_printing/cprint.ml
- src/kernel_services/parsetree/cabs.ml 0 additions, 5 deletionssrc/kernel_services/parsetree/cabs.ml
- src/kernel_services/visitors/cabsvisit.ml 1 addition, 2 deletionssrc/kernel_services/visitors/cabsvisit.ml
- src/plugins/metrics/metrics_cabs.ml 0 additions, 1 deletionsrc/plugins/metrics/metrics_cabs.ml
Loading
Please register or sign in to comment