diff options
Diffstat (limited to 'aarch64_small/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) } } |