From f9dbe54918cbebbe60cfb245443fd4c48e4a8a80 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Fri, 5 Jun 2020 18:50:27 +0200
Subject: [PATCH] Improve wording in status output

---
 src/problem.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/problem.rs b/src/problem.rs
index 68f5ab4..4252458 100644
--- a/src/problem.rs
+++ b/src/problem.rs
@@ -326,7 +326,7 @@ impl Problem
 		{
 			let step_title = match statement.proof_status
 			{
-				ProofStatus::AssumedProven => format!("Added"),
+				ProofStatus::AssumedProven => format!("Presupposed"),
 				ProofStatus::Proven => format!("Verified"),
 				ProofStatus::NotProven
 				| ProofStatus::Disproven