patrick/anthem-rs
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Improve wording in status output

Browse Source
This commit is contained in:
Patrick Lühne 2020-06-05 18:50:27 +02:00
parent 8c801426a5
commit f9dbe54918
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/problem.rs
View File

@ -326,7 +326,7 @@ impl Problem
{ {
let step_title = match statement.proof_status let step_title = match statement.proof_status
{ {
ProofStatus::AssumedProven => format!("Added"), ProofStatus::AssumedProven => format!("Presupposed"),
ProofStatus::Proven => format!("Verified"), ProofStatus::Proven => format!("Verified"),
ProofStatus::NotProven ProofStatus::NotProven
| ProofStatus::Disproven | ProofStatus::Disproven