Display min_degree and max_degree in parsed AST (#2079)

Omission, didn't show up in tests until #2078
powdr-labs · Nov 13, 2024 · 87823c1 · 87823c1
1 parent c71b790
commit 87823c1
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/ast/src/parsed/display.rs b/ast/src/parsed/display.rs
@@ -109,6 +109,8 @@ impl Display for MachineProperties {
             .as_ref()
             .map(|s| format!("degree: {s}"))
             .into_iter()
+            .chain(self.min_degree.as_ref().map(|s| format!("min_degree: {s}")))
+            .chain(self.max_degree.as_ref().map(|s| format!("max_degree: {s}")))
             .chain(self.latch.as_ref().map(|s| format!("latch: {s}")))
             .chain(
                 self.operation_id