diff options
author | Marcelina Kościelnicka <mwk@0x04.net> | 2021-12-08 23:23:03 +0100 |
---|---|---|
committer | Marcelina Kościelnicka <mwk@0x04.net> | 2021-12-09 00:56:14 +0100 |
commit | 1184a7f3b41f9044b603406c914bf43ab1808b28 (patch) | |
tree | 27e0cc850ffd7e15fce407ae4e177a019d454e94 /passes/opt | |
parent | d186ea7a2d74f859972746e03996e9eddc6a5157 (diff) | |
download | yosys-1184a7f3b41f9044b603406c914bf43ab1808b28.tar.gz yosys-1184a7f3b41f9044b603406c914bf43ab1808b28.tar.bz2 yosys-1184a7f3b41f9044b603406c914bf43ab1808b28.zip |
opt_mem_priority: Fix non-ascii char in help message.
This is a fixed version of #3072.
Diffstat (limited to 'passes/opt')
-rw-r--r-- | passes/opt/opt_mem_priority.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/passes/opt/opt_mem_priority.cc b/passes/opt/opt_mem_priority.cc index 49ece570b..a9b145bea 100644 --- a/passes/opt/opt_mem_priority.cc +++ b/passes/opt/opt_mem_priority.cc @@ -34,7 +34,7 @@ struct OptMemPriorityPass : public Pass { log(" opt_mem_priority [selection]\n"); log("\n"); log("This pass detects cases where one memory write port has priority over another\n"); - log("even though they can never collide with each other — ie. there can never be\n"); + log("even though they can never collide with each other -- ie. there can never be\n"); log("a situation where a given memory bit is written by both ports at the same\n"); log("time, for example because of always-different addresses, or mutually exclusive\n"); log("enable signals. In such cases, the priority relation is removed.\n"); |