diff options
| author | Gabriel Somlo <gsomlo@gmail.com> | 2021-11-06 20:08:56 -0400 |
|---|---|---|
| committer | Marcelina Kościelnicka <mwk@0x04.net> | 2021-11-07 03:05:03 +0100 |
| commit | 9a413803eb83f96d74dc48aee8a2319e1b926692 (patch) | |
| tree | 63b06f8007e38574d007a6f93eb9afd35e1c506a /manual | |
| parent | a3eec687e042679b1a55d8bfdb55484acba81525 (diff) | |
| download | yosys-9a413803eb83f96d74dc48aee8a2319e1b926692.tar.gz yosys-9a413803eb83f96d74dc48aee8a2319e1b926692.tar.bz2 yosys-9a413803eb83f96d74dc48aee8a2319e1b926692.zip | |
manual: fix pdflatex inputenc undefined char error
Signed-off-by: Gabriel Somlo <gsomlo@gmail.com>
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/command-reference-manual.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/command-reference-manual.tex b/manual/command-reference-manual.tex index ccfae8bff..8335d582c 100644 --- a/manual/command-reference-manual.tex +++ b/manual/command-reference-manual.tex @@ -3156,7 +3156,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. |