Made "cover" a compile-time option (disabled by default)
[yosys.git] / kernel / log.cc
index 807f58bf606d545ac1ea170cdb3dab5ff34a993d..1a21e9fe6299fb5b64dd09333db47578b104d7b3 100644 (file)
@@ -274,7 +274,7 @@ void log_cell(RTLIL::Cell *cell, std::string indent)
 // ---------------------------------------------------
 // This is the magic behind the code coverage counters
 // ---------------------------------------------------
-#ifdef COVER_ACTIVE
+#ifdef YOSYS_ENABLE_COVER
 
 std::map<std::string, std::pair<std::string, int>> extra_coverage_data;