ref: 2652cbee57edee453193d0bb58bba5d716cabe7b
parent: 07e8c324a87c42ec641d982d7d36142c2ae4ac00
author: Ori Bernstein <ori@eigenstate.org>
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.