Apply suggestions from code review

Co-authored-by: wiktorkuchta <35867657+wiktorkuchta@users.noreply.github.com> Co-authored-by: David Allsopp <david.allsopp@metastack.com> Co-authored-by: Konstantin Romanov <kromanov1@bloomberg.net> Co-authored-by: Josh Berdine <josh@berdine.net> Co-authored-by: John Whitington <john@coherentgraphics.co.uk>
ocaml · Nov 26, 2021 · c744c2d · c744c2d
1 parent 1a3ec98
commit c744c2d
Show file tree

Hide file tree

Showing 2 changed files with 123 additions and 93 deletions.
diff --git a/manual/src/refman/exten.etex b/manual/src/refman/exten.etex
@@ -119,7 +119,7 @@ that are implemented in OCaml, but not described in chapter \ref{c:refman}.
 %HEVEA\cutname{bindingops.html}
 \input{bindingops.tex}
 
-\section{s:tail-mod-cons}{Tail Modulo Cons}
+\section{s:tail-mod-cons}{Tail Modulo Constructors}
 %HEVEA\cutname{tailmodcons.html}
 \input{tail_mod_cons.tex}