fix height in fmt (#123)

informalsystems · Dec 13, 2023 · e010cb1 · e010cb1
1 parent a0ebc14
commit e010cb1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Code/round/src/state.rs b/Code/round/src/state.rs
@@ -148,7 +148,7 @@ where
     #[cfg_attr(coverage_nightly, coverage(off))]
     fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
         f.debug_struct("State")
-            .field("height", &self.round)
+            .field("height", &self.height)
             .field("round", &self.round)
             .field("step", &self.step)
             .field("locked", &self.locked)