From: Gabriel Somlo Date: Sun, 7 Nov 2021 00:08:56 +0000 (-0400) Subject: manual: fix pdflatex inputenc undefined char error X-Git-Tag: yosys-0.12~47 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9a413803eb83f96d74dc48aee8a2319e1b926692;p=yosys.git manual: fix pdflatex inputenc undefined char error Signed-off-by: Gabriel Somlo --- 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.