diff options
| author | Hans Bolinder <[email protected]> | 2014-04-16 12:40:05 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2014-04-16 12:40:05 +0200 |
| commit | 8fefeb8a1738a3be87bd7c324a07ae866d958112 (patch) | |
| tree | 7895893b3d5d1621a448c40a5a2ca30ef088118d /lib/webtool/priv | |
| parent | b8494d9b7362f1edfb87f2dbd9f12e316ac71c1e (diff) | |
| download | otp-8fefeb8a1738a3be87bd7c324a07ae866d958112.tar.gz otp-8fefeb8a1738a3be87bd7c324a07ae866d958112.tar.bz2 otp-8fefeb8a1738a3be87bd7c324a07ae866d958112.zip | |
stdlib: Fix error message when exporting (redefined) map() type
When redefining and exporting the type map() erl_lint erroneously
emitted an error. This bug has been fixed.
Diffstat (limited to 'lib/webtool/priv')
0 files changed, 0 insertions, 0 deletions