RTLIL Documentation: switch in process is optional

diff --git a/manual/CHAPTER_TextRtlil.tex b/manual/CHAPTER_TextRtlil.tex
index 243b56a87a4411e62d64a6d7a5546074253b039b..5615a87079a53a6b17a63eb391fc31d2477c8dc1 100644 (file)
--- a/manual/CHAPTER_TextRtlil.tex
+++ b/manual/CHAPTER_TextRtlil.tex
@@ -241,7 +241,7 @@ See Sec.~\ref{sec:rtlil_process} for an overview of processes.
 
 <proc-stmt> ::= "process" <id> <eol>
 
-<process-body> ::= <assign-stmt>$*$ <switch> <assign-stmt>$*$ <sync>$*$
+<process-body> ::= <assign-stmt>$*$ <switch>$?$ <assign-stmt>$*$ <sync>$*$
 
 <assign-stmt> ::= "assign" <dest-sigspec> <src-sigspec> <eol>