diff options
| author | Björn Gustavsson <[email protected]> | 2010-11-22 12:23:46 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2010-11-22 12:23:46 +0100 |
| commit | 8e18176bd4c02ffca4b0c5cba1f4b5425a588458 (patch) | |
| tree | e969972a893975fb6d418da39a46a9141c7ff578 /lib/dialyzer/src/dialyzer_cl.erl | |
| parent | 29b572dbd1546796a0a94066548edfa3da6b4b9d (diff) | |
| parent | 5c1dd79d08e8725b408d11b17ceb99e80ec7cddb (diff) | |
| download | otp-8e18176bd4c02ffca4b0c5cba1f4b5425a588458.tar.gz otp-8e18176bd4c02ffca4b0c5cba1f4b5425a588458.tar.bz2 otp-8e18176bd4c02ffca4b0c5cba1f4b5425a588458.zip | |
Merge branch 'ks/dialyzer-fixes' into dev
* ks/dialyzer-fixes:
dialyzer: Speed up analysis of nested list comprehensions
Diffstat (limited to 'lib/dialyzer/src/dialyzer_cl.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_cl.erl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/dialyzer/src/dialyzer_cl.erl b/lib/dialyzer/src/dialyzer_cl.erl index 616e2465dc..0250c47ad0 100644 --- a/lib/dialyzer/src/dialyzer_cl.erl +++ b/lib/dialyzer/src/dialyzer_cl.erl @@ -559,7 +559,7 @@ cl_loop(State, LogCache) -> cl_loop(State, LogCache) end. --spec failed_anal_msg(string(), [_]) -> string(). +-spec failed_anal_msg(string(), [_]) -> nonempty_string(). failed_anal_msg(Reason, LogCache) -> Msg = "Analysis failed with error: " ++ Reason ++ "\n", |