diff options
| author | Kathy Gray | 2015-06-02 15:09:24 +0100 |
|---|---|---|
| committer | Kathy Gray | 2015-06-02 15:09:24 +0100 |
| commit | 19f34a049b8c8008e2566e32932fdf262d15b0ea (patch) | |
| tree | 38251b9543c67b7b8b015f31257e3b1afc588e20 /language/l2.lem | |
| parent | 471607a45b814244e19704c221e1735d250f9b59 (diff) | |
Fix errors around ARM not being able to decode due to instruction_extractor being very power-specific.
Note: slight interface change to instruction_extractor
Diffstat (limited to 'language/l2.lem')
| -rw-r--r-- | language/l2.lem | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/language/l2.lem b/language/l2.lem index 6291acba..16bb325e 100644 --- a/language/l2.lem +++ b/language/l2.lem @@ -1,4 +1,4 @@ -(* generated by Ott 0.25 from: l2_typ.ott l2.ott *) +(* generated by Ott 0.24 from: l2_typ.ott l2.ott *) open import Pervasives open import Map @@ -540,7 +540,7 @@ type tag = (* Data indicating where the identifier arises and thus information | Tag_extern of maybe string (* External function, specied only with a val statement *) | Tag_default (* Type has come from default declaration, identifier may not be bound locally *) | Tag_spec - | Tag_enum + | Tag_enum of integer | Tag_alias |