opt_mem_priority: Fix non-ascii char in help message.

This is a fixed version of #3072.

diff --git a/manual/command-reference-manual.tex b/manual/command-reference-manual.tex
index d9a2f8dc16b0b51ce2b91fe1871531b374690152..28d2b61074eeb119bcf2a373694dfb979ab65ea2 100644 (file)
--- a/manual/command-reference-manual.tex
+++ b/manual/command-reference-manual.tex
@@ -3163,7 +3163,7 @@ for removal of the read port.
     opt_mem_priority [selection]
 
 This pass detects cases where one memory write port has priority over another
-even though they can never collide with each other — ie. there can never be
+even though they can never collide with each other -- ie. there can never be
 a situation where a given memory bit is written by both ports at the same
 time, for example because of always-different addresses, or mutually exclusive
 enable signals. In such cases, the priority relation is removed.
@@ -3661,11 +3661,6 @@ Additional -D<macro>[=<value>] options may be added after the option indicating
 the language version (and before file names) to set additional verilog defines.
 
 
-    read {-vhdl87|-vhdl93|-vhdl2k|-vhdl2008|-vhdl} <vhdl-file>..
-
-Load the specified VHDL files. (Requires Verific.)
-
-
     read {-f|-F} <command-file>
 
 Load and execute the specified command file. (Requires Verific.)
@@ -7480,11 +7475,6 @@ The macros SYNTHESIS and VERIFIC are defined implicitly.
 Like -sv, but define FORMAL instead of SYNTHESIS.
 
 
-    verific {-vhdl87|-vhdl93|-vhdl2k|-vhdl2008|-vhdl} <vhdl-file>..
-
-Load the specified VHDL files into Verific.
-
-
     verific {-f|-F} <command-file>
 
 Load and execute the specified command file.

diff --git a/passes/opt/opt_mem_priority.cc b/passes/opt/opt_mem_priority.cc
index 49ece570b7e98e3091cefab86abfb7bf786aeefd..a9b145bea56247fa2b01da3ee98d721c8132d772 100644 (file)
--- 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");