Update Quorum/entry_points/setup_quorum.py

Co-authored-by: yoav-el-certora <[email protected]>
Certora · Jan 1, 2025 · 48850d8 · 48850d8
1 parent a3679c8
commit 48850d8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Quorum/entry_points/setup_quorum.py b/Quorum/entry_points/setup_quorum.py
@@ -18,7 +18,7 @@ def get_working_directory() -> Path:
 
 def setup_quorum(working_dir: Path):
     """
-    Initializes a Quorum environment by copying template files to the specified directory.
+    Initializes Quorum environment by copying template files to the specified directory.
 
     Args:
         working_dir (Path): Target directory for setting up Quorum.