luke
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

compilation err

This commit is contained in:
Stan Lee 2026-04-28 16:22:12 -07:00
parent 18dc5cc2cc
commit 489fb6ea54
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
frontends/verific/verific.cc
View File

@ -3928,7 +3928,7 @@ struct VerificPass : public Pass {
if (GetSize(args) > argidx && args[argidx] == "-unignore_module") {
Set *ignored = veri_file::GetIgnoredModuleSet();
for (argidx++; argidx < GetSize(args); argidx++) {
string name = args[argidx].c_str();
const char *name = args[argidx].c_str();
if (ignored)
ignored->Remove(name);
}