From 2336d5508b29b607044f86676db98584b2b04f71 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Thu, 27 Jul 2017 12:17:04 +0200 Subject: Add log_warning_noprefix() API, Use for Verific warnings and errors --- frontends/verific/verific.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'frontends/verific') 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()); } -- cgit v1.2.3