diff --git a/src/V3AssertProp.cpp b/src/V3AssertProp.cpp index aefb6d57f..b46a0526a 100644 --- a/src/V3AssertProp.cpp +++ b/src/V3AssertProp.cpp @@ -709,7 +709,7 @@ class RangeDelayExpander final : public VNVisitor { // Pre-assigned state numbers for one SeqStep. // Range steps consume their successor (check target); successor entry is unused. struct StepBounds final { - int waitState; // WAIT_MIN state, or -1 if not needed + int waitState; // WAIT_MIN state, or -1 if not needed int checkState; // CHECK or TAIL state; -1 for fixed-delay steps };