diff --git a/doc/src/code/index.rst b/doc/src/code/index.rst index 78e46453..3273bf19 100644 --- a/doc/src/code/index.rst +++ b/doc/src/code/index.rst @@ -49,7 +49,7 @@ according to the URL scheme. "2" -> "10" [arrowhead="empty", arrowtail="none"]; "3" -> "6" [arrowhead="empty", arrowtail="none"]; "4" -> "6" [arrowhead="empty", arrowtail="none"]; - "5" -> "11" [arrowhead="empty", arrowtail="none"]; + "5" -> "9" [arrowhead="empty", arrowtail="none"]; "6" -> "10" [arrowhead="empty", arrowtail="none"]; "7" -> "10" [arrowhead="empty", arrowtail="none"]; "8" -> "10" [arrowhead="empty", arrowtail="none"];