diff options
| author | Vincent Jacques <vincent@vincent-jacques.net> | 2017-07-21 18:27:12 +0200 |
|---|---|---|
| committer | Damien Doligez <damien.doligez@gmail.com> | 2017-07-24 15:26:46 +0200 |
| commit | 66f20906096bdfcf3e5472281c1b8401f6fe3cc6 (patch) | |
| tree | 83ff8802755d4f19ea689753aee48c8408566bf7 /manual | |
| parent | c427e583862fdf2812e9730a7098c68887c100cc (diff) | |
| download | ocaml-66f20906096bdfcf3e5472281c1b8401f6fe3cc6.tar.gz | |
Reference manual: re-add \\
As noted by @Octachron
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/manual/refman/lex.etex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/manual/refman/lex.etex b/manual/manual/refman/lex.etex index 1630bd5877..87634d3bdb 100644 --- a/manual/manual/refman/lex.etex +++ b/manual/manual/refman/lex.etex @@ -80,7 +80,7 @@ float-literal: [("e"||"E") ["+"||"-"] ("0"\ldots"9") { "0"\ldots"9"||"_" }] | ["-"] ("0x"||"0X") ("0"\ldots"9"||"A"\ldots"F"||"a"\ldots"f") - { "0"\ldots"9"||"A"\ldots"F"||"a"\ldots"f"||"_" } + { "0"\ldots"9"||"A"\ldots"F"||"a"\ldots"f"||"_" } \\ ["." { "0"\ldots"9"||"A"\ldots"F"||"a"\ldots"f"||"_" }] [("p"||"P") ["+"||"-"] ("0"\ldots"9") { "0"\ldots"9"||"_" }] \end{syntax} |