diff options
| author | Alastair Reid | 2019-01-04 10:54:41 +0000 |
|---|---|---|
| committer | Alastair Reid | 2019-01-04 10:54:41 +0000 |
| commit | ed4ed7e7e0373d33c6aa3ed6566d0eee28ff0c91 (patch) | |
| tree | 80380e7fce9694ea3882463abe61a902ba8ad978 /src/error_format.ml | |
| parent | 3225079cfe3250465c97ca7308d45d1f09cf07f8 (diff) | |
Arm ElfMain: fix minor type errors
I guess that Sail became a bit more strict about typechecking variables in
the last few months.
Diffstat (limited to 'src/error_format.ml')
0 files changed, 0 insertions, 0 deletions