Merge branch 'fix/andre/silence-warning-16-again' into 'master'
[Kernel] avoid triggering warning 16 (unerasable-optional-argument) See merge request frama-c/frama-c!3062
Showing
- src/kernel_internals/typing/cabs2cil.ml 1 addition, 1 deletionsrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_services/analysis/logic_interp.ml 2 additions, 2 deletionssrc/kernel_services/analysis/logic_interp.ml
- src/kernel_services/analysis/wto_statement.ml 1 addition, 1 deletionsrc/kernel_services/analysis/wto_statement.ml
- src/kernel_services/ast_queries/logic_typing.ml 3 additions, 3 deletionssrc/kernel_services/ast_queries/logic_typing.ml
- src/kernel_services/ast_queries/logic_typing.mli 2 additions, 2 deletionssrc/kernel_services/ast_queries/logic_typing.mli
- src/libraries/utils/wto.ml 4 additions, 5 deletionssrc/libraries/utils/wto.ml
- src/libraries/utils/wto.mli 5 additions, 2 deletionssrc/libraries/utils/wto.mli
- src/plugins/aorai/data_for_aorai.ml 1 addition, 1 deletionsrc/plugins/aorai/data_for_aorai.ml
- src/plugins/gui/design.ml 1 addition, 1 deletionsrc/plugins/gui/design.ml
- src/plugins/gui/menu_manager.ml 1 addition, 1 deletionsrc/plugins/gui/menu_manager.ml
- src/plugins/gui/menu_manager.mli 1 addition, 1 deletionsrc/plugins/gui/menu_manager.mli
- src/plugins/wp/Auto.mli 1 addition, 1 deletionsrc/plugins/wp/Auto.mli
- src/plugins/wp/ProverWhy3.ml 3 additions, 3 deletionssrc/plugins/wp/ProverWhy3.ml
- src/plugins/wp/StmtSemantics.ml 1 addition, 1 deletionsrc/plugins/wp/StmtSemantics.ml
- src/plugins/wp/TacHavoc.ml 1 addition, 1 deletionsrc/plugins/wp/TacHavoc.ml
- src/plugins/wp/TacHavoc.mli 1 addition, 1 deletionsrc/plugins/wp/TacHavoc.mli
Loading
Please register or sign in to comment