diff options
| author | Guillaume Melquiond | 2021-02-17 12:13:32 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2021-02-19 11:17:27 +0100 |
| commit | d39a01caf4cbbc22cddbaa23234622b21412f058 (patch) | |
| tree | 63a253ac874feba89dfad3415795f7dd42460f9a /kernel/vmbytecodes.ml | |
| parent | ab94a2a5dbe142d972d65a33d977e8e9f8d52f01 (diff) | |
Be less permissive with respect to nonsensical bytecode.
Diffstat (limited to 'kernel/vmbytecodes.ml')
0 files changed, 0 insertions, 0 deletions