diff options
Diffstat (limited to 'kernel/log.h')
-rw-r--r-- | kernel/log.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/log.h b/kernel/log.h index 16ad7b6c9..abd204046 100644 --- a/kernel/log.h +++ b/kernel/log.h @@ -222,6 +222,7 @@ static inline void log_dump_val_worker(const char *v) { log("%s", v); } static inline void log_dump_val_worker(std::string v) { log("%s", v.c_str()); } static inline void log_dump_val_worker(PerformanceTimer p) { log("%f seconds", p.sec()); } static inline void log_dump_args_worker(const char *p YS_ATTRIBUTE(unused)) { log_assert(*p == 0); } +void log_dump_val_worker(RTLIL::IdString v); void log_dump_val_worker(RTLIL::SigSpec v); template<typename T> |