Merge branch 'fix/andre/typos' into 'master'
fix several typos in comments See merge request frama-c/e-acsl!270 (cherry picked from commit d8f5df30cd3ad9b43f2e3dfd717ff202ce261af3) e41fc4c0 fix several typos in comments
Showing
- src/plugins/e-acsl/E_ACSL.mli 1 addition, 1 deletionsrc/plugins/e-acsl/E_ACSL.mli
- src/plugins/e-acsl/doc/refman/changes_modern.tex 1 addition, 1 deletionsrc/plugins/e-acsl/doc/refman/changes_modern.tex
- src/plugins/e-acsl/dup_functions.ml 2 additions, 2 deletionssrc/plugins/e-acsl/dup_functions.ml
- src/plugins/e-acsl/env.ml 1 addition, 1 deletionsrc/plugins/e-acsl/env.ml
- src/plugins/e-acsl/interval.mli 1 addition, 1 deletionsrc/plugins/e-acsl/interval.mli
- src/plugins/e-acsl/label.ml 1 addition, 1 deletionsrc/plugins/e-acsl/label.ml
- src/plugins/e-acsl/loops.mli 1 addition, 1 deletionsrc/plugins/e-acsl/loops.mli
- src/plugins/e-acsl/misc.ml 1 addition, 1 deletionsrc/plugins/e-acsl/misc.ml
- src/plugins/e-acsl/mmodel_translate.ml 4 additions, 4 deletionssrc/plugins/e-acsl/mmodel_translate.ml
- src/plugins/e-acsl/prepare_ast.mli 1 addition, 1 deletionsrc/plugins/e-acsl/prepare_ast.mli
- src/plugins/e-acsl/temporal.mli 1 addition, 1 deletionsrc/plugins/e-acsl/temporal.mli
- src/plugins/e-acsl/typing.mli 4 additions, 4 deletionssrc/plugins/e-acsl/typing.mli
Loading
Please register or sign in to comment