[ocaml] improve compatibility with OCaml 4.08
Showing
- Makefile.generating 7 additions, 0 deletionsMakefile.generating
- configure.in 6 additions, 0 deletionsconfigure.in
- opam/opam 1 addition, 1 deletionopam/opam
- share/Makefile.config.in 1 addition, 0 deletionsshare/Makefile.config.in
- src/kernel_services/abstract_interp/offsetmap.ml 2 additions, 1 deletionsrc/kernel_services/abstract_interp/offsetmap.ml
- src/kernel_services/ast_queries/cil_datatype.ml 1 addition, 1 deletionsrc/kernel_services/ast_queries/cil_datatype.ml
- src/kernel_services/ast_queries/json_compilation_database.ok.ml 1 addition, 1 deletion...rnel_services/ast_queries/json_compilation_database.ok.ml
- src/kernel_services/cmdline_parameters/cmdline.ml 2 additions, 2 deletionssrc/kernel_services/cmdline_parameters/cmdline.ml
- src/kernel_services/plugin_entry_points/dynamic.ml 1 addition, 1 deletionsrc/kernel_services/plugin_entry_points/dynamic.ml
- src/kernel_services/plugin_entry_points/log.ml 2 additions, 2 deletionssrc/kernel_services/plugin_entry_points/log.ml
- src/kernel_services/plugin_entry_points/plugin.ml 4 additions, 3 deletionssrc/kernel_services/plugin_entry_points/plugin.ml
- src/libraries/stdlib/extlib.ml 2 additions, 2 deletionssrc/libraries/stdlib/extlib.ml
- src/libraries/stdlib/transitioning.ml.in 4 additions, 0 deletionssrc/libraries/stdlib/transitioning.ml.in
- src/libraries/stdlib/transitioning.mli 8 additions, 0 deletionssrc/libraries/stdlib/transitioning.mli
- src/libraries/utils/command.ml 2 additions, 2 deletionssrc/libraries/utils/command.ml
- src/plugins/aorai/ltl_output.ml 1 addition, 1 deletionsrc/plugins/aorai/ltl_output.ml
- src/plugins/metrics/metrics_cabs.ml 1 addition, 1 deletionsrc/plugins/metrics/metrics_cabs.ml
- src/plugins/rte/visit.ml 1 addition, 1 deletionsrc/plugins/rte/visit.ml
- src/plugins/value/domains/numerors/numerors_domain.ok.ml 1 addition, 1 deletionsrc/plugins/value/domains/numerors/numerors_domain.ok.ml
- src/plugins/value_types/cvalue.ml 1 addition, 1 deletionsrc/plugins/value_types/cvalue.ml
Loading
Please register or sign in to comment