diff options
| author | Björn Gustavsson <[email protected]> | 2013-09-09 19:29:13 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2013-09-09 19:31:35 +0200 |
| commit | d63019dad7dc4fb6765a8e82967785878a7b5e98 (patch) | |
| tree | 7279079096af3e170c3ce59f9dd9049d07b66516 | |
| parent | 82bc96acf24be36e690225f1adac1854ff693f58 (diff) | |
| download | otp-d63019dad7dc4fb6765a8e82967785878a7b5e98.tar.gz otp-d63019dad7dc4fb6765a8e82967785878a7b5e98.tar.bz2 otp-d63019dad7dc4fb6765a8e82967785878a7b5e98.zip | |
core_lint: Correct the type error() to conform to the code
Commit 60984ade updated the code, but not the type spec.
Noticed-by: Kostis Sagonas
| -rw-r--r-- | lib/compiler/src/core_lint.erl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/compiler/src/core_lint.erl b/lib/compiler/src/core_lint.erl index e5d5fa2bcd..67d37ff1fc 100644 --- a/lib/compiler/src/core_lint.erl +++ b/lib/compiler/src/core_lint.erl @@ -68,7 +68,7 @@ | {'undefined_function', fa(), fa()} | {'tail_segment_not_at_end', fa()}. --type error() :: {module(), err_desc()}. +-type error() :: {'none', module(), err_desc()}. -type warning() :: {module(), term()}. %%----------------------------------------------------------------------- |