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));
 }
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>