Update help message for -chparam

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 4ba96d25131d59368d6bdcddc3129a8b2a7b7822..c412cd3a3af951e60bfa8d1f92d3fff08419d8d2 100644 (file)
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -1857,7 +1857,8 @@ struct VerificPass : public Pass {
                log("\n");
                log("  -chparam name value \n");
                log("    Elaborate the specified top modules (all modules when -all given) using\n");
-               log("    this parameter value, for modules where this parameter exists. This option\n");
+               log("    this parameter value. Modules on which this parameter does not exist will\n");
+               log("    cause Verific to produce a VERI-1928 or VHDL-1676 message. This option\n");
                log("    can be specified multiple times to override multiple parameters.\n");
                log("    String values must be passed in double quotes (\").\n");
                log("\n");