diff options
| author | Guillaume Melquiond | 2016-06-03 09:11:47 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2016-06-03 09:11:47 +0200 |
| commit | 69784189812fce435dbb688b02c3343ddda03a93 (patch) | |
| tree | 65416d5b8283aa830caf84064723fdab4afdbf65 /dev | |
| parent | c75805f735d6a7f9972fe9ae8214eebc97c20852 (diff) | |
Fix proof terminators not being detected in presence of curly brackets (bug #4770).
This also fixes comments not being properly skipped when looking for eol.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions