diff options
| author | Björn Gustavsson <[email protected]> | 2017-04-12 15:19:23 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2017-04-20 15:00:51 +0200 |
| commit | 030e6ef2efaad12d485cec1727c4b68c09c6c584 (patch) | |
| tree | 1ddcc232f4ae8ae72c0baf8be93f1e97ada67362 /lib/dialyzer/doc/src/ref_man.xml | |
| parent | 19e9249d960a5b15b4e222efdcb96efbe122853e (diff) | |
| download | otp-030e6ef2efaad12d485cec1727c4b68c09c6c584.tar.gz otp-030e6ef2efaad12d485cec1727c4b68c09c6c584.tar.bz2 otp-030e6ef2efaad12d485cec1727c4b68c09c6c584.zip | |
Add back TypEr to the main OTP repository
It turned out that the dependencies between Dialyzer
and TypEr makes it impractical to have TypEr in a
separate repository.
Add it back to the OTP repository, but put the Erlang
module 'typer' in the dialyzer application.
Diffstat (limited to 'lib/dialyzer/doc/src/ref_man.xml')
| -rw-r--r-- | lib/dialyzer/doc/src/ref_man.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/dialyzer/doc/src/ref_man.xml b/lib/dialyzer/doc/src/ref_man.xml index ddac047f2e..d820fc5e00 100644 --- a/lib/dialyzer/doc/src/ref_man.xml +++ b/lib/dialyzer/doc/src/ref_man.xml @@ -31,5 +31,6 @@ <description> </description> <xi:include href="dialyzer.xml"/> + <xi:include href="typer.xml"/> </application> |