From 90ca4e03c240675b1830a5e48cea5f6c9e412b2a Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 3 Jan 2018 15:46:23 +0000
Subject: Updates to interpreter

Experimenting with porting riscv model to new typechecker
---
 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 91083c0e..7a420f14 100644
--- a/editors/sail2-mode.el
+++ b/editors/sail2-mode.el
@@ -5,7 +5,7 @@
 
 (defconst sail2-keywords
   '("val" "function" "type" "struct" "union" "enum" "let" "var" "if" "then"
-    "else" "match" "in" "return" "register" "forall" "operator" "effect"
+    "else" "match" "in" "return" "register" "ref" "forall" "operator" "effect"
     "overload" "cast" "sizeof" "constraint" "default" "assert"
     "pure" "infixl" "infixr" "infix" "scattered" "end" "try" "catch" "and"
     "throw" "clause" "as" "repeat" "until" "while" "do" "foreach"))
-- 
cgit v1.2.3