diff options
| author | Brian Campbell | 2019-08-29 16:54:45 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-08-29 16:54:45 +0100 |
| commit | 1ff56d44750c654daedab1227bf9df02cd8eb102 (patch) | |
| tree | 0a67204626fae8fb75dd468717dd60168076326b /src/elf_loader.ml | |
| parent | f150ceef798659156d8ed38c59591c44065f042e (diff) | |
Turn the two abs_int declarations into overloads
(otherwise Sail uses the type from one and the extern from the other)
Diffstat (limited to 'src/elf_loader.ml')
0 files changed, 0 insertions, 0 deletions