summaryrefslogtreecommitdiff
path: root/bytecomp
diff options
context:
space:
mode:
authorGabriel Scherer <gabriel.scherer@gmail.com>2018-08-27 17:58:48 +0200
committerGabriel Scherer <gabriel.scherer@gmail.com>2018-08-27 18:00:50 +0200
commitdcbf1a8fae9bd313eabd8b9a8ec6511a0ef9ad22 (patch)
treefd7d37c81e1fce6016174885ad2a43fdf34ea93c /bytecomp
parentc578cee935b5b0ecaac8eb3abc1d27fadc79de8c (diff)
downloadocaml-dcbf1a8fae9bd313eabd8b9a8ec6511a0ef9ad22.tar.gz
manual: fix broken build caused by GPR #2007
Diffstat (limited to 'bytecomp')
-rw-r--r--bytecomp/translmod.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/bytecomp/translmod.ml b/bytecomp/translmod.ml
index 65ff94ef0f..f54eb65182 100644
--- a/bytecomp/translmod.ml
+++ b/bytecomp/translmod.ml
@@ -1361,7 +1361,7 @@ let print_cycle ppf =
let report_error ppf = function
Circular_dependency cycle ->
- let[@manual.ref "s-recursive-modules"] chapter, section = 8, 4 in
+ let[@manual.ref "s-recursive-modules"] chapter, section = 8, 3 in
fprintf ppf
"@[Cannot safely evaluate the definition of the following cycle@ \
of recursively-defined modules:@ %a.@ \