Fix traces

informalsystems · Feb 4, 2025 · 7945ab2 · 7945ab2
1 parent 8825200
commit 7945ab2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/code/crates/core-state-machine/src/traces/line.rs b/code/crates/core-state-machine/src/traces/line.rs
@@ -9,7 +9,7 @@ pub enum Line {
     /// L11 - non-proposer: schedule proposeTimeout
     L11NonProposer,
 
-    /// L49 - valid v and precommit quorum: commit
+    /// L14 - check if proposer
     L14,
 
     /// L16 - validValue
@@ -57,7 +57,7 @@ pub enum Line {
     /// L32 - invalid value
     L32InvalidValue,
 
-    /// L34 - proposal in propose step: prevote
+    /// L34 - polka any: schedule prevoteTimeout
     L34,
 
     /// L35 - prevoteTimeout scheduled