Closed hubgit closed 5 years ago
It would make the messages easier to work with (particularly when showing the user assertions that have passed), if the message didn't start with "ERROR:".
Alf
I removed "ERROR: " and "WARNING: " from the start of each message. in the third-update branch.
It would make the messages easier to work with (particularly when showing the user assertions that have passed), if the message didn't start with "ERROR:".