diff options
| author | Björn-Egil Dahlberg <[email protected]> | 2013-10-26 16:04:29 +0200 |
|---|---|---|
| committer | Björn-Egil Dahlberg <[email protected]> | 2014-01-28 15:56:29 +0100 |
| commit | f3ea2236bc8d11dd09b7eaaec3f175361e4771d3 (patch) | |
| tree | 3d7f50fe469eaed565115e81f9ac7b1aafc0d273 /lib/ic/examples/pre_post_condition/ReadMe.txt | |
| parent | 1014059ea438798960cf858e6f37b16e321152ad (diff) | |
| download | otp-f3ea2236bc8d11dd09b7eaaec3f175361e4771d3.tar.gz otp-f3ea2236bc8d11dd09b7eaaec3f175361e4771d3.tar.bz2 otp-f3ea2236bc8d11dd09b7eaaec3f175361e4771d3.zip | |
compiler: Fix get_map_element bug with allocate
The instruction get_map_element has a faillabel so you may not
use the instruction within a allocate/deallocate block.
Diffstat (limited to 'lib/ic/examples/pre_post_condition/ReadMe.txt')
0 files changed, 0 insertions, 0 deletions