diff options
Diffstat (limited to 'kernel/log.cc')
| -rw-r--r-- | kernel/log.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/kernel/log.cc b/kernel/log.cc index 29644a067..dbc94ce8c 100644 --- a/kernel/log.cc +++ b/kernel/log.cc @@ -376,6 +376,10 @@ void log_flush() f->flush(); } +void log_dump_val_worker(RTLIL::IdString v) { + log("%s", log_id(v)); +} + void log_dump_val_worker(RTLIL::SigSpec v) { log("%s", log_signal(v)); } |