diff options
| author | Ori Bernstein <ori@eigenstate.org> | 2020-11-30 13:13:49 -0800 |
|---|---|---|
| committer | Ori Bernstein <ori@eigenstate.org> | 2020-11-30 13:13:49 -0800 |
| commit | 2652cbee57edee453193d0bb58bba5d716cabe7b (patch) | |
| tree | 3dc732f9ec493ae6842aa41c0df843049f1321d4 /lib | |
| parent | 07e8c324a87c42ec641d982d7d36142c2ae4ac00 (diff) | |
| download | plan9front-2652cbee57edee453193d0bb58bba5d716cabe7b.tar.xz | |
proof: don't confuse ""(1) (thanks Stuart Morrow)
"" looks for patterns in the form 'prompt;' or 'prompt%',
and gets confused when proof emits 'illegal;'. This change
replaces the ';' with a ':', which both matches other
conventional error outputs and prevents "" from getting
confused.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions