cargo fmt

egraphs-good · Apr 14, 2024 · 2bd92f1 · 2bd92f1
1 parent 65b595c
commit 2bd92f1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/dag_in_context/src/greedy_dag_extractor.rs b/dag_in_context/src/greedy_dag_extractor.rs
@@ -312,8 +312,8 @@ impl CostModel for DefaultCostModel {
             "Const" => &[0, 1],       // constant, arg type
             "InContext" => &[0],      // assumption
             "Function" => &[0, 1, 2], // name, input type, output type
-            "Get" => &[1], // index
-            "Alloc" => &[0], // size
+            "Get" => &[1],            // index
+            "Alloc" => &[0],          // size
             _ => &[],
         }
     }