fix layout

egraphs-good · Dec 29, 2023 · 4589b63 · 4589b63
1 parent d255dff
commit 4589b63
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main.rs b/src/main.rs
@@ -47,7 +47,7 @@ fn extractors() -> IndexMap<&'static str, ExtractorDetail> {
                 is_tree_optimal: false,
             },
         ),
-         (
+        (
             "greedy-dag",
             ExtractorDetail {
                 extractor: extract::greedy_dag::GreedyDagExtractor.boxed(),