aboutsummaryrefslogtreecommitdiff
path: root/spec/spec.tex
diff options
context:
space:
mode:
Diffstat (limited to 'spec/spec.tex')
-rw-r--r--spec/spec.tex3
1 files changed, 1 insertions, 2 deletions
diff --git a/spec/spec.tex b/spec/spec.tex
index 9aa1e6b4..70b073c3 100644
--- a/spec/spec.tex
+++ b/spec/spec.tex
@@ -1743,12 +1743,11 @@ The following statement:
when c :
a <= b
else :
- c <= d
e <= f
\end{lstlisting}
can be equivalently expressed on a single line as follows.
\begin{lstlisting}
-when c : (a <= b) else : (c <= d, e <= f)
+when c : a <= b else : e <= f
\end{lstlisting}
All circuits, modules, ports and statements can optionally be followed with the info token \verb|@[fileinfo]| where fileinfo is a string containing the source file information from where it was generated.