Mentions légales du service

Skip to content

Do not print @. in the terminal

Guillaume Cluzel requested to merge dontflushstringlikedoneinprettyprinter into master

It is cleaner if the '@.' is not printed at the end of the error messages when using why3 prove.

Merge request reports