diff options
| author | Alastair Reid | 2018-06-27 14:39:09 +0100 |
|---|---|---|
| committer | Alastair Reid | 2018-06-27 15:31:07 +0100 |
| commit | 195f96ab4f10d69343ee6b7a1c1b2155af89608b (patch) | |
| tree | bfb70cc06c07cc2bdb62bd49a9514461365a9382 /src/bytecode_util.ml | |
| parent | add767470c0483905e71c93ad161523a80c898d3 (diff) | |
RTS: Delete __SetConfig stub function
This is now directly supported from SAIL so we can call the SAIL __SetConfig function
instead.
Diffstat (limited to 'src/bytecode_util.ml')
0 files changed, 0 insertions, 0 deletions