diff options
Diffstat (limited to 'manual/CHAPTER_TextRtlil.tex')
| -rw-r--r-- | manual/CHAPTER_TextRtlil.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/CHAPTER_TextRtlil.tex b/manual/CHAPTER_TextRtlil.tex index 243b56a87..5615a8707 100644 --- 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> |