diff options
| author | Sverker Eriksson <[email protected]> | 2014-03-27 17:13:43 +0100 |
|---|---|---|
| committer | Sverker Eriksson <[email protected]> | 2014-03-27 17:13:43 +0100 |
| commit | d1fde60e2814ba1d8013c48983bc206c1112cb98 (patch) | |
| tree | 39af545d20ec7c5aeccb75b1dbb971694b73a59d /erts/emulator/valgrind | |
| parent | 32eae452dbd6da109914af3a9003d9bbcb696d42 (diff) | |
| download | otp-d1fde60e2814ba1d8013c48983bc206c1112cb98.tar.gz otp-d1fde60e2814ba1d8013c48983bc206c1112cb98.tar.bz2 otp-d1fde60e2814ba1d8013c48983bc206c1112cb98.zip | |
erts: Adjust is_external_header() for new map tag
to not mistake a map for an external term (pid, port or ref).
Diffstat (limited to 'erts/emulator/valgrind')
0 files changed, 0 insertions, 0 deletions