diff --git a/src/V3EmitCImp.cpp b/src/V3EmitCImp.cpp index 7b767ab99..78d65c49f 100644 --- a/src/V3EmitCImp.cpp +++ b/src/V3EmitCImp.cpp @@ -718,7 +718,7 @@ void V3EmitC::emitcImp() { } // Emit trace routines (currently they can only exist in the top module) - if (v3Global.opt.trace()) { + if (v3Global.opt.trace() && !v3Global.opt.lintOnly()) { EmitCTrace::main(v3Global.rootp()->topModulep(), /* slow: */ true); EmitCTrace::main(v3Global.rootp()->topModulep(), /* slow: */ false); }