From b7f806b7c5df7b2809d9a9d014b0a4611e9bdcf7 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 1 Mar 2018 19:24:07 +0000
Subject: Cleanup intermediate bytecode representation in C backend

---
 editors/sail2-mode.el | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'editors')

diff --git a/editors/sail2-mode.el b/editors/sail2-mode.el
index eb3e0fe6..47ce1690 100644
--- a/editors/sail2-mode.el
+++ b/editors/sail2-mode.el
@@ -16,10 +16,11 @@
     "exmem" "undef" "unspec" "nondet" "escape"))
 
 (defconst sail2-types
-  '("vector" "int" "nat" "atom" "range" "unit" "bit" "real" "list" "bool" "string" "bits"))
+  '("vector" "int" "nat" "atom" "range" "unit" "bit" "real" "list" "bool" "string" "bits"
+    "uint64_t" "int64_t" "bv_t" "mpz_t"))
 
 (defconst sail2-special
-  '("_prove" "$define" "$include" "$ifdef" "$ifndef" "$else" "$endif"))
+  '("_prove" "create" "kill" "convert" "$define" "$include" "$ifdef" "$ifndef" "$else" "$endif"))
 
 (defconst sail2-font-lock-keywords
   `((,(regexp-opt sail2-keywords 'symbols) . font-lock-keyword-face)
-- 
cgit v1.2.3