src/kernel_internals/parsing/logic_parser.mly · 3f24bc8d5b398cc7c09ef314a972b557b0f00454 · pub / frama-c · GitLab

Snippets Groups Projects

5 years ago
0240a6db
Merge branch 'fix/syntax/reject-label-end-of-block' into 'master' · 0240a6db
Andre Maroneze authored 5 years ago
```
small parser fixes

Closes #637

See merge request frama-c/frama-c!2601
```
0240a6db

History
Merge branch 'fix/syntax/reject-label-end-of-block' into 'master'
Andre Maroneze authored 5 years ago
```
small parser fixes

Closes #637

See merge request frama-c/frama-c!2601
```