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"),
 	}