diff options
| author | octachron <octa@polychoron.fr> | 2017-10-27 18:45:40 +0200 |
|---|---|---|
| committer | Damien Doligez <damien.doligez@gmail.com> | 2017-10-27 18:57:52 +0200 |
| commit | 929b0adee56d4f6a7ebe76473b71e07d9e743e05 (patch) | |
| tree | 90fb717d728e18d955001a671dbc40da538964fc /manual | |
| parent | daeebabb625365c71b6b759674519edc38ecf54d (diff) | |
| download | ocaml-929b0adee56d4f6a7ebe76473b71e07d9e743e05.tar.gz | |
manual, remove dangling reference
This commit removes a dangling reference to the explicitly overriding
method definition that was moved to the tutorial part of the manual.
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/manual/refman/exten.etex | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/manual/manual/refman/exten.etex b/manual/manual/refman/exten.etex index 700f572050..e5675c976b 100644 --- a/manual/manual/refman/exten.etex +++ b/manual/manual/refman/exten.etex @@ -519,9 +519,6 @@ This syntax can be very useful when defining recursive functions involving GADTs, see the section~\ref{s:gadts} for a more detailed explanation. The same feature is provided for method definitions. -The @'method!'@ form combines this extension with the -``explicit overriding'' extension described in -section~\ref{s:explicit-overriding}. \section{First-class modules}\label{s-first-class-modules} \ikwd{module\@\texttt{module}} |