mirror of
https://github.com/YosysHQ/yosys
synced 2026-07-24 16:12:33 +00:00
Fixups
This commit is contained in:
parent
8171f04cbf
commit
13e053fb11
3 changed files with 1 additions and 3 deletions
|
|
@ -83,7 +83,6 @@ YOSYS_NAMESPACE_BEGIN
|
|||
|
||||
int autoidx = 1;
|
||||
int yosys_xtrace = 0;
|
||||
std::set<string> seen_ids;
|
||||
bool yosys_write_versions = true;
|
||||
const char* yosys_maybe_version() {
|
||||
if (yosys_write_versions)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue