From 849ca51b6a4f1f4dbb6dd91409ac2448cec5f52f Mon Sep 17 00:00:00 2001 From: github action Date: Sun, 5 Apr 2026 09:01:20 +0000 Subject: [PATCH] Apply 'make format' --- src/V3AssertProp.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 };