diff options
| author | Anthony Ramine <[email protected]> | 2015-02-22 13:31:35 +0100 |
|---|---|---|
| committer | Anthony Ramine <[email protected]> | 2015-02-22 13:31:35 +0100 |
| commit | 814f9b367c33a9f28b78b18ef97c674b2918d258 (patch) | |
| tree | c6e5c6e75ecad753c85703b0ea0041ae08df29be /system/doc | |
| parent | 4f7edc376ee61238699f68c8721ab23ee56eafee (diff) | |
| download | otp-814f9b367c33a9f28b78b18ef97c674b2918d258.tar.gz otp-814f9b367c33a9f28b78b18ef97c674b2918d258.tar.bz2 otp-814f9b367c33a9f28b78b18ef97c674b2918d258.zip | |
Remove a few superfluous vt operations in erl_lint
Given any Vt1 and Vt2 values, vtmerge(vtnew(Vt1, Vt2), vtold(Vt1, Vt2)) is always
equal to Vt1.
Diffstat (limited to 'system/doc')
0 files changed, 0 insertions, 0 deletions