From: Robert Baruch <robert.c.baruch@gmail.com>
Date: Sat, 27 Feb 2021 17:58:03 +0000 (-0800)
Subject: RTLIL Documentation: switch in process is optional
X-Git-Tag: working-ls180~25^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ca4b1afcb687c03837c66b657fe73363cacf1e70;p=yosys.git

RTLIL Documentation: switch in process is optional
---

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>