From 4e3733e32d5dd070524458c6c7eea4aff079699b Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 18 Oct 2017 17:05:20 +0100
Subject: Fixes and updates to ocaml backend to compile aarch64_no_vector

---
 editors/sail2-mode.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'editors')

diff --git a/editors/sail2-mode.el b/editors/sail2-mode.el
index c2f77801..2958af21 100644
--- a/editors/sail2-mode.el
+++ b/editors/sail2-mode.el
@@ -8,7 +8,7 @@
     "else" "match" "in" "return" "register" "forall" "operator" "effect"
     "overload" "cast" "sizeof" "constraint" "default" "assert"
     "pure" "infixl" "infixr" "infix" "scattered" "end" "try" "catch" "and"
-    "throw" "clause" "as"))
+    "throw" "clause" "as" "repeat" "until" "while" "do"))
 
 (defconst sail2-kinds
   '("Int" "Type" "Order" "inc" "dec"
-- 
cgit v1.2.3