From 87823c1743576e367d23a97e7c4bae7e8ab18c66 Mon Sep 17 00:00:00 2001 From: Thibaut Schaeffer Date: Wed, 13 Nov 2024 12:51:35 +0100 Subject: [PATCH] Display min_degree and max_degree in parsed AST (#2079) Omission, didn't show up in tests until #2078 --- ast/src/parsed/display.rs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/ast/src/parsed/display.rs b/ast/src/parsed/display.rs index 46c6ae02f1..0656353914 100644 --- 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