[Extlib] removed mapi (List.mapi)
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/libraries/stdlib/extlib.ml 0 additions, 5 deletionssrc/libraries/stdlib/extlib.ml
- src/libraries/stdlib/extlib.mli 0 additions, 5 deletionssrc/libraries/stdlib/extlib.mli
Loading
Please register or sign in to comment