diff options
| author | Alasdair Armstrong | 2019-03-05 17:43:40 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-03-05 17:57:02 +0000 |
| commit | 0a8c4117ab7e55dc577fff9fcced54905d8fdad2 (patch) | |
| tree | 5e5ddfef933085ad39d5829b8254b6d679744bd2 | |
| parent | 1425334fddf6c2147884edc18cfdf2cf0edb880a (diff) | |
Add missing comma in armV8.sail
| -rw-r--r-- | aarch64_small/armV8.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aarch64_small/armV8.sail b/aarch64_small/armV8.sail index 91de66f8..5e0b8cf9 100644 --- a/aarch64_small/armV8.sail +++ b/aarch64_small/armV8.sail @@ -2443,7 +2443,7 @@ end execute val supported_instructions : ast -> option(ast) effect {escape} function supported_instructions (instr) = { match instr { - Unallocated () => None () + Unallocated () => None (), _ => Some(instr) } } |