diff --git a/src/V3Coverage.cpp b/src/V3Coverage.cpp index 872a9d1260..39e022729f 100644 --- a/src/V3Coverage.cpp +++ b/src/V3Coverage.cpp @@ -423,7 +423,7 @@ class CoverageVisitor final : public VNVisitor { } if (m_inProcedure) { - } else { + } else if (VN_IS(m_modp, Module)) { AstIf* const fakeIfp = new AstIf(nodep->fileline(), nodep->condp()->cloneTree(true)); FileLine* const newFl = new FileLine{nodep->fileline()}; AstAlways* const alwaysp = new AstAlways{newFl, VAlwaysKwd::ALWAYS, nullptr, fakeIfp};