From 0a8c4117ab7e55dc577fff9fcced54905d8fdad2 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Tue, 5 Mar 2019 17:43:40 +0000
Subject: Add missing comma in armV8.sail

---
 aarch64_small/armV8.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)
   }
 }
-- 
cgit v1.2.3