Add log_warning_noprefix() API, Use for Verific warnings and errors
authorClifford Wolf <clifford@clifford.at>
Thu, 27 Jul 2017 10:17:04 +0000 (12:17 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 27 Jul 2017 10:17:04 +0000 (12:17 +0200)
commit2336d5508b29b607044f86676db98584b2b04f71
treee669c834888572d263221f666a57519aaf976172
parentd9641621d95078fe9f6534154f21f50827de60a6
Add log_warning_noprefix() API, Use for Verific warnings and errors
frontends/verific/verific.cc
kernel/log.cc
kernel/log.h