diff options
| -rw-r--r-- | ocamldoc/odoc_latex.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ocamldoc/odoc_latex.ml b/ocamldoc/odoc_latex.ml index 692e94cb3..6d29acedf 100644 --- a/ocamldoc/odoc_latex.ml +++ b/ocamldoc/odoc_latex.ml @@ -185,7 +185,7 @@ class text = | '%' -> ("-percent", "%") | '@' -> ("-at", "\"@") | '!' -> ("-bang", "\"!") - | '|' -> ("-pipe", "\\char124") + | '|' -> ("-pipe", "\"|") | '<' -> ("-lt", "<") | '>' -> ("-gt", ">") | '^' -> ("-exp", "^") |