From 2652cbee57edee453193d0bb58bba5d716cabe7b Mon Sep 17 00:00:00 2001 From: Ori Bernstein Date: Mon, 30 Nov 2020 13:13:49 -0800 Subject: [PATCH] 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. --- sys/src/cmd/proof/htroff.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sys/src/cmd/proof/htroff.c b/sys/src/cmd/proof/htroff.c index ce7577f51..61db7e729 100644 --- a/sys/src/cmd/proof/htroff.c +++ b/sys/src/cmd/proof/htroff.c @@ -550,7 +550,7 @@ botpage(int np) /* called at bottom of page np-1 == top of page np */ continue; } - fprint(2, "illegal; try q, 17, +2, -1, p, m.7, /2, x1, y-.5 or return\n"); + fprint(2, "illegal: try q, 17, +2, -1, p, m.7, /2, x1, y-.5 or return\n"); } return 0; }