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

Rename status message for clarity

Browse Source
This commit is contained in:
Patrick Lühne 2020-05-18 01:19:00 +02:00
parent 7361084eaf
commit 0cce3bf54d
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

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