Commit f7511358 authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

doc: typo in syntax for constants

parent eea7c833
......@@ -23,6 +23,5 @@
\
exponent ::= ("e" | "E") ("-" | "+")? digit+ ;
\
h-exponent ::= ("p" | "P") ("-" | "+")? digit+ ;
| ; %
h-exponent ::= ("p" | "P") ("-" | "+")? digit+ ; %
\end{syntax}
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment