diff --git a/kernel/log.cc b/kernel/log.cc index 09673dc2..1f082603 100644 --- a/kernel/log.cc +++ b/kernel/log.cc @@ -238,6 +238,7 @@ void log_cell(RTLIL::Cell *cell, std::string indent) // --------------------------------------------------- // This is the magic behind the code coverage counters // --------------------------------------------------- +#ifdef COVER_ACTIVE std::map> extra_coverage_data; @@ -283,5 +284,7 @@ std::map> get_coverage_data() return coverage_data; } +#endif + YOSYS_NAMESPACE_END