Makes argsToList usable again and adds a variant that differenciates ghost/non-ghosts
Showing
- src/kernel_internals/typing/cabs2cil.ml 2 additions, 2 deletionssrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_services/ast_printing/cil_printer.ml 9 additions, 9 deletionssrc/kernel_services/ast_printing/cil_printer.ml
- src/kernel_services/ast_queries/cil.ml 5 additions, 0 deletionssrc/kernel_services/ast_queries/cil.ml
- src/kernel_services/ast_queries/cil.mli 8 additions, 1 deletionsrc/kernel_services/ast_queries/cil.mli
Loading
Please register or sign in to comment