diff options
| author | Mark Wassell | 2019-05-03 15:54:56 +0100 |
|---|---|---|
| committer | Mark Wassell | 2019-05-03 15:54:56 +0100 |
| commit | adb81c88ee9182635aaf4051169eeccf9b95a0ce (patch) | |
| tree | ee08b043cf71ae918dbf8fe77347dbd92a723c8a /src/elf_loader.ml | |
| parent | 094c8e254abde44d45097aca7a36203704fe2ef4 (diff) | |
Tidy of Sail Ott definition to allow valid Isabelle datatypes to be generated for Sail AST
Diffstat (limited to 'src/elf_loader.ml')
0 files changed, 0 insertions, 0 deletions