diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2012-02-15 16:31:59 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2012-02-15 16:31:59 +0000 |
commit | d6029c574f0914e5bc3fb608bdedb2c3f2c186ab (patch) | |
tree | 8596b6113261399153d01525384f2b13253ea064 | |
parent | 8c478a926aa08a7422088e1ba9b78d3f21438c1b (diff) |
reverse previous commit
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12158 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-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", "^") |