[Extlib] removed swap (Fun.flip)
Showing
- bin/migration_scripts/manganese2iron.sh 2 additions, 1 deletionbin/migration_scripts/manganese2iron.sh
- src/kernel_internals/typing/cabs2cil.ml 2 additions, 2 deletionssrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_services/ast_data/annotations.ml 6 additions, 6 deletionssrc/kernel_services/ast_data/annotations.ml
- src/kernel_services/ast_queries/cil.ml 2 additions, 2 deletionssrc/kernel_services/ast_queries/cil.ml
- src/kernel_services/ast_queries/file.ml 1 addition, 1 deletionsrc/kernel_services/ast_queries/file.ml
- src/libraries/stdlib/extlib.ml 0 additions, 2 deletionssrc/libraries/stdlib/extlib.ml
- src/libraries/stdlib/extlib.mli 0 additions, 3 deletionssrc/libraries/stdlib/extlib.mli
Loading
Please register or sign in to comment