Update source/declarations.tex

jensmaurer · JohelEGP · web-flow · commit 5dbaf05e77f4 · 2022-07-29T08:38:00.000+02:00
Co-authored-by: Johel Ernesto Guerrero Peña &lt;johelegp@gmail.com&gt;
diff --git a/source/declarations.tex b/source/declarations.tex
@@ -8591,7 +8591,7 @@
 
 \rSec2[dcl.attr.assume]{Assumption attribute}
 
-The attribute-token \tcode{assume} may be applied to a null statement;
+The \grammarterm{attribute-token} \tcode{assume} may be applied to a null statement;
 such a statement is an \defn{assumption}.
 An \grammarterm{attribute-argument-clause} shall be present and
 shall have the form:
