From 5c504bef5bdecd3cab0f8a864ad7a5830bb0494c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Thu, 7 Nov 2019 02:25:01 -0600
Subject: [PATCH] Format positive result more nicely

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

diff --git a/src/main.rs b/src/main.rs
index bc7dad6..3a31087 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -225,7 +225,7 @@ fn main() -> Result<(), Box<dyn std::error::Error>>
 
 	match was_proof_attempted
 	{
-		true => println!("finished all proofs"),
+		true => println!("\nfinished all proofs"),
 		false => println!("nothing to verify, exiting"),
 	}