diff --git a/src/V3Timing.cpp b/src/V3Timing.cpp index 2ff9c4a85..195714a2b 100644 --- a/src/V3Timing.cpp +++ b/src/V3Timing.cpp @@ -746,6 +746,7 @@ private: } void visit(AstFork* nodep) override { if (nodep->user1SetOnce()) return; + v3Global.setUsesTiming(); // Create a unique name for this fork nodep->name(m_forkNames.get(nodep)); unsigned idx = 0; // Index for naming begins