diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/coqdoc/output.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/coqdoc/output.ml b/tools/coqdoc/output.ml index 2d2a86ef0e..11a821b7c4 100644 --- a/tools/coqdoc/output.ml +++ b/tools/coqdoc/output.ml @@ -342,7 +342,7 @@ module Latex = struct (* This is broken if we are in math mode, but coqdoc currently isn't tracking that *) - let start_emph () = printf "\\textit{ " + let start_emph () = printf "\\textit{" let stop_emph () = printf "}" |