From b1b10ea2108ddcc00191f921915a62569cba0bf2 Mon Sep 17 00:00:00 2001
From: Marko Atanasievski <markoatana@gmail.com>
Date: Fri, 14 Jun 2024 14:01:34 +0200
Subject: [PATCH] fix: comment

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

diff --git a/leader/src/jerigon.rs b/leader/src/jerigon.rs
index 2e500bef..ce03f615 100644
--- a/leader/src/jerigon.rs
+++ b/leader/src/jerigon.rs
@@ -58,7 +58,7 @@ pub(crate) async fn jerigon_main(
                 }
             });
     } else {
-        // proofs are written to stdio, so we need to clean up
+        // Proofs are written to stdio, so no need to clean up
     }
 
     Ok(())