We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent d3128aa commit 5c2c9ddCopy full SHA for 5c2c9dd
1 file changed
source/expressions.tex
@@ -3615,7 +3615,7 @@
3615
The expression $E$ is an lvalue referring to the object or function $X$
3616
associated with or referenced by $S$, and
3617
is a bit-field if and only if $X$ is a bit-field.
3618
-If $E$ appears in the predicate of a contract assertion C\iref{basic.contract}
+If $E$ appears in the predicate of a contract assertion $C$\iref{basic.contract}
3619
and $S$ is
3620
\begin{itemize}
3621
\item
0 commit comments