_opt fix

[c-standard] / n1548.html

diff --git a/n1548.html b/n1548.html
index 8854018..3c52ef1 100644 (file)
--- a/n1548.html
+++ b/n1548.html
@@ -9315,7 +9315,7 @@ margin: deleted text is marked with ''*'', new or changed text with '' ''.
 <p><!--para 4 -->
  A preprocessing directive of the form
 <pre>
-    # line digit-sequence "s-char-sequenceopt" new-line
+    # line digit-sequence "s-char-sequence<sub>opt</sub>" new-line
 </pre>
  sets the presumed line number similarly and changes the presumed name of the source
  file to be the contents of the character string literal.