diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-08-20 12:31:50 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-08-20 12:31:50 +0200 |
| commit | ca53fba44a8f49fc96e8f2913eb55b622ec0638a (patch) | |
| tree | e883bef9306419e27fa25c47a5e1629e1310a5eb /passes/sat | |
| parent | d38a64b1cf361073a20a1e90c2fc6e56792c1237 (diff) | |
| download | yosys-ca53fba44a8f49fc96e8f2913eb55b622ec0638a.tar.gz yosys-ca53fba44a8f49fc96e8f2913eb55b622ec0638a.tar.bz2 yosys-ca53fba44a8f49fc96e8f2913eb55b622ec0638a.zip | |
Rename "singleton" pass to "uniquify"
Diffstat (limited to 'passes/sat')
| -rw-r--r-- | passes/sat/sim.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc index 966510776..b49c12529 100644 --- a/passes/sat/sim.cc +++ b/passes/sat/sim.cc @@ -526,7 +526,7 @@ struct SimInstance void writeback(pool<Module*> &wbmods) { if (wbmods.count(module)) - log_error("Instance %s of module %s is not unique: Writeback not possible. (Fix by running 'singleton'.)\n", hiername().c_str(), log_id(module)); + log_error("Instance %s of module %s is not unique: Writeback not possible. (Fix by running 'uniquify'.)\n", hiername().c_str(), log_id(module)); wbmods.insert(module); |