Suggest --ignore-timing in error message

povik · Nov 21, 2024 · ccee761 · ccee761
1 parent b8ea856
commit ccee761
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/diag.cc b/src/diag.cc
@@ -63,7 +63,7 @@ namespace diag {
 		engine.setMessage(SignalSensitivityAmbiguous, "non-edge sensitivity on a signal will be synthesized as @* sensitivity");
 		engine.setSeverity(SignalSensitivityAmbiguous, slang::DiagnosticSeverity::Warning);
 		engine.setMessage(EdgeImplicitMixing, "mixing of implicit and edge sensitivity");
-		engine.setMessage(GenericTimingUnsyn, "unsynthesizable timing control");
+		engine.setMessage(GenericTimingUnsyn, "unsynthesizable timing control (ignore with '--ignore-timing')");
 		engine.setMessage(BothEdgesUnsupported, "'edge' sensitivity will not be synthesized");
 		engine.setMessage(NoteSignalEvent, "signal event specified here");
 		engine.setSeverity(NoteSignalEvent, slang::DiagnosticSeverity::Note);