chore: cleanup

discopop-project · Dec 12, 2024 · 57a5414 · 57a5414
1 parent fdf26df
commit 57a5414
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/discopop_explorer/discopop_explorer.py b/discopop_explorer/discopop_explorer.py
@@ -75,8 +75,7 @@ class ExplorerArguments(GeneralArguments):
     microbench_file: Optional[str]
     load_existing_doall_and_reduction_patterns: bool
     collect_statistics: bool
-    #enable_gephi_file: Optional[str]
-    enable_pet_plot_file: Optional[str] # None means no dump, otherwise the path 
+    enable_pet_plot_file: Optional[str]  # None means no dump, otherwise the path
 
     def __post_init__(self) -> None:
         self.__validate()