diff options
| author | Anthony Fox | 2017-08-14 13:15:37 +0100 |
|---|---|---|
| committer | Anthony Fox | 2017-08-14 13:15:37 +0100 |
| commit | 94fa8f92644209ca3ffb4242c98eb92c8d58e2ae (patch) | |
| tree | 0160266e288ebb870e91222c40f59393477ecd9f /src/initial_check.ml | |
| parent | 588c45e84642425fe9530f4ef6a44753cc54a0f8 (diff) | |
Minor change to x86 specification.
Diffstat (limited to 'src/initial_check.ml')
0 files changed, 0 insertions, 0 deletions