diff options
Diffstat (limited to 'frontends')
| -rw-r--r-- | frontends/verific/verific.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 4f8ea92ef..5f7d973a9 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -77,7 +77,7 @@ void msg_func(msg_type_t msg_type, const char *message_id, linefile_type linefil message += vstringf(msg, args); if (msg_type == VERIFIC_ERROR || msg_type == VERIFIC_WARNING || msg_type == VERIFIC_PROGRAM_ERROR) - log_warning("%s\n", message.c_str()); + log_warning_noprefix("%s\n", message.c_str()); else log("%s\n", message.c_str()); } |