[expr.prim.req.compound] Adjust description in example to be easier to understand.

Author: zygoloid

source/expressions.tex

@@ -1761,8 +1761,8 @@
 \end{codeblock}
 The \grammarterm{compound-requirement} in \tcode{C1}
 requires that \tcode{x++} is a valid expression.
-It is equivalent to a \grammarterm{simple-requirement}
-with the same \grammarterm{expression}.
+It is equivalent to the \grammarterm{simple-requirement}
+\tcode{x++;}.
 
 \begin{codeblock}
 template<typename T> concept C2 = requires(T x) {