2652cbee57
"" 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. |
||
---|---|---|
.. | ||
font.c | ||
htroff.c | ||
main.c | ||
mkfile | ||
proof.h | ||
screen.c |