Uses generative functors with a unit argument instead of an unused parameter.
Avoids compilation warnings about unused modules with ocaml 4.10.
Showing
- src/libraries/utils/hook.ml 1 addition, 1 deletionsrc/libraries/utils/hook.ml
- src/libraries/utils/hook.mli 1 addition, 1 deletionsrc/libraries/utils/hook.mli
- src/plugins/e-acsl/src/libraries/gmp_types.ml 1 addition, 1 deletionsrc/plugins/e-acsl/src/libraries/gmp_types.ml
- src/plugins/value/utils/structure.ml 4 additions, 4 deletionssrc/plugins/value/utils/structure.ml
- src/plugins/value/utils/structure.mli 1 addition, 1 deletionsrc/plugins/value/utils/structure.mli
Loading
Please register or sign in to comment