shithub: riscv

Download patch

ref: 2652cbee57edee453193d0bb58bba5d716cabe7b
parent: 07e8c324a87c42ec641d982d7d36142c2ae4ac00
author: Ori Bernstein <[email protected]>
date: Mon Nov 30 08:13:49 EST 2020

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.

--- a/sys/src/cmd/proof/htroff.c
+++ b/sys/src/cmd/proof/htroff.c
@@ -550,7 +550,7 @@
 			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;
 }