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

cleanup in write_smt2 log messages (-bv and -mem are now default)

This commit is contained in:
Clifford Wolf 2016-10-16 23:02:51 +02:00
parent 74702b04c2
commit 189fbd4cf8
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
backends/smt2/smt2.cc
View File

@ -586,7 +586,7 @@ struct Smt2Worker
return;
}
log_error("Unsupported cell type %s for cell %s.%s. (Maybe this cell type would be supported in -bv or -mem mode?)\n",
log_error("Unsupported cell type %s for cell %s.%s.\n",
log_id(cell->type), log_id(module), log_id(cell));
}