aboutsummaryrefslogtreecommitdiffstats
path: root/passes/equiv
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-08-22 14:20:03 -0700
committerEddie Hung <eddie@fpgeh.com>2019-08-22 16:05:12 -0700
commit65e6c23abd9add59b95a024c91d4fff6d15ba135 (patch)
tree7e45bc93c5d502e0e53f53ae141b17ea396ab232 /passes/equiv
parent5061d239ae2d6881b898662f838a0f4cfc24ca88 (diff)
downloadyosys-65e6c23abd9add59b95a024c91d4fff6d15ba135.tar.gz
yosys-65e6c23abd9add59b95a024c91d4fff6d15ba135.tar.bz2
yosys-65e6c23abd9add59b95a024c91d4fff6d15ba135.zip
Spelling
Diffstat (limited to 'passes/equiv')
-rw-r--r--passes/equiv/equiv_make.cc4
1 files changed, 2 insertions, 2 deletions
diff --git a/passes/equiv/equiv_make.cc b/passes/equiv/equiv_make.cc
index dbd8682e6..4855ce29e 100644
--- a/passes/equiv/equiv_make.cc
+++ b/passes/equiv/equiv_make.cc
@@ -532,10 +532,10 @@ struct EquivMakePass : public Pass {
log_cmd_error("Equiv module %s already exists.\n", args[argidx+2].c_str());
if (worker.gold_mod->has_memories() || worker.gold_mod->has_processes())
- log_cmd_error("Gold module contains memories or procresses. Run 'memory' or 'proc' respectively.\n");
+ log_cmd_error("Gold module contains memories or processes. Run 'memory' or 'proc' respectively.\n");
if (worker.gate_mod->has_memories() || worker.gate_mod->has_processes())
- log_cmd_error("Gate module contains memories or procresses. Run 'memory' or 'proc' respectively.\n");
+ log_cmd_error("Gate module contains memories or processes. Run 'memory' or 'proc' respectively.\n");
worker.read_blacklists();
worker.read_encfiles();