1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/log.h b/kernel/log.h
index f830655c1..53480db31 100644
--- a/kernel/log.h
+++ b/kernel/log.h
@@ -79,6 +79,7 @@ void log_reset_stack();
 void log_flush();
 
 const char *log_signal(const RTLIL::SigSpec &sig, bool autoint = true);
+const char *log_const(const RTLIL::Const &value, bool autoint = true);
 const char *log_id(RTLIL::IdString id);
 
 template<typename T> static inline const char *log_id(T *obj) {