From 2d7f9db378502fbe686e264983475f8828c89281 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Wed, 6 Nov 2019 22:43:22 -0600
Subject: [PATCH] Improve output

---
 src/main.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/main.rs b/src/main.rs
index 99196fe..e9587c4 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -170,7 +170,7 @@ fn main() -> Result<(), Box<dyn std::error::Error>>
 				},
 				Some(ref conjecture) =>
 				{
-					eprintln!("verifying assertion: {}", conjecture.formula);
+					eprintln!("verifying {}: {}", &conjecture.kind, conjecture.formula);
 
 					let tptp_content = format!("{}", ask_dracula::format_tptp::display_project_with_conjecture_tptp(&project, conjecture, proof_direction));
 
@@ -191,7 +191,7 @@ fn main() -> Result<(), Box<dyn std::error::Error>>
 				{
 					if let Some(proof_time) = proof_time
 					{
-						println!("assertion proven in {} seconds", proof_time);
+						println!("{} proven in {} seconds", &conjecture.kind, proof_time);
 					}
 					else
 					{