diff options
author | Björn Gustavsson <[email protected]> | 2010-04-29 06:26:32 +0200 |
---|---|---|
committer | Raimo Niskanen <[email protected]> | 2010-05-20 12:20:50 +0200 |
commit | 329f737c03db51918361e127560a6f700e99028e (patch) | |
tree | 9562556a1cd7e79ec1e4434203f9780616d4da41 /Makefile.in | |
parent | 0ebf76849e220033b26985fc25e5b2842a1dcc5b (diff) | |
download | otp-329f737c03db51918361e127560a6f700e99028e.tar.gz otp-329f737c03db51918361e127560a6f700e99028e.tar.bz2 otp-329f737c03db51918361e127560a6f700e99028e.zip |
v3_core: Remove unused support for generating compilation errors
The state record #core{} has a "es" field that can be used for
causing a compilation error. Since incorrect programs have been
rejected much earlier by erl_lint, no errors were actually stored
in the "es" fields. Therefore, get rid of the "es" field and
the support for generating a compilation error in the v3_core
module.
Diffstat (limited to 'Makefile.in')
0 files changed, 0 insertions, 0 deletions