diff options
author | Gerald Xv <gerald.xv@gmail.com> | 2018-09-05 04:55:17 +0000 |
---|---|---|
committer | Gerald Xv <gerald.xv@gmail.com> | 2018-09-05 04:55:17 +0000 |
commit | 8f36dfdc65a8dc6c4fb07c346d753e142b2735bd (patch) | |
tree | 203e7eae0c00f91759303b1474862bb61e1bd5f9 /test | |
parent | c96222ead3790d06448b447ef704546618e98d41 (diff) |
add report in the effects_code_generation, as it is the short form for both report_errors and report_warnings
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions