From ca4b1afcb687c03837c66b657fe73363cacf1e70 Mon Sep 17 00:00:00 2001
From: Robert Baruch <robert.c.baruch@gmail.com>
Date: Sat, 27 Feb 2021 09:58:03 -0800
Subject: [PATCH] RTLIL Documentation: switch in process is optional

---
 manual/CHAPTER_TextRtlil.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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>
 
-- 
2.30.2