diff options
| author | Brian Campbell | 2018-11-19 17:56:35 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-11-19 17:56:57 +0000 |
| commit | 8d85379367286c8e8a3aa4513aceae55db89f112 (patch) | |
| tree | 7fd3aea7e3ae05cd1e129f74116926bbc20809a0 /src/bytecode_util.ml | |
| parent | 4b8f3092b2c9767b916535ad73e045262d60d987 (diff) | |
Fix Lem untupling to correctly identify when multiple arguments are used
Fixes CHERI Lem build
Diffstat (limited to 'src/bytecode_util.ml')
0 files changed, 0 insertions, 0 deletions