diff --git a/src/V3Fork.cpp b/src/V3Fork.cpp index e657a0671..2e40faa24 100644 --- a/src/V3Fork.cpp +++ b/src/V3Fork.cpp @@ -449,17 +449,13 @@ class DynScopeVisitor final : public VNVisitor { << nodep->varp()->verilogKwd() << " variable of a function after a timing control is not allowed"); } else { - if (nodep->varp()->lifetime() == VLifetime::AUTOMATIC_IMPLICIT) { - nodep->varp()->lifetime(VLifetime::STATIC_IMPLICIT); - } else { - nodep->v3warn(E_UNSUPPORTED, "Unsupported: Writing to a captured " + nodep->v3warn(E_UNSUPPORTED, "Unsupported: Writing to a captured " << nodep->varp()->verilogKwd() << " variable in a " << (VN_IS(nodep->backp(), AssignDly) ? "non-blocking assignment" : "fork") << " after a timing control"); - } } } if (!framep->instance().initialized()) framep->createInstancePrototype();