aboutsummaryrefslogtreecommitdiffstats
path: root/passes/sat/sim.cc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2017-08-20 12:31:50 +0200
committerClifford Wolf <clifford@clifford.at>2017-08-20 12:31:50 +0200
commitca53fba44a8f49fc96e8f2913eb55b622ec0638a (patch)
treee883bef9306419e27fa25c47a5e1629e1310a5eb /passes/sat/sim.cc
parentd38a64b1cf361073a20a1e90c2fc6e56792c1237 (diff)
downloadyosys-ca53fba44a8f49fc96e8f2913eb55b622ec0638a.tar.gz
yosys-ca53fba44a8f49fc96e8f2913eb55b622ec0638a.tar.bz2
yosys-ca53fba44a8f49fc96e8f2913eb55b622ec0638a.zip
Rename "singleton" pass to "uniquify"
Diffstat (limited to 'passes/sat/sim.cc')
-rw-r--r--passes/sat/sim.cc2
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);