From b04f8c9dfa599b48544bac024eaa78e6b93c29d4 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 6 Sep 2018 14:26:36 +0100
Subject: Allow options to be set in the interactive mode

Also allow options to be set via a pragma in Sail files
---
 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 b9d7ab06..05d3eb60 100644
--- a/editors/sail2-mode.el
+++ b/editors/sail2-mode.el
@@ -21,7 +21,7 @@
     "uint64_t" "int64_t" "bv_t" "mpz_t"))
 
 (defconst sail2-special
-  '("_prove" "create" "kill" "convert" "undefined" "$define" "$include" "$ifdef" "$ifndef" "$else" "$endif"))
+  '("_prove" "create" "kill" "convert" "undefined" "$define" "$include" "$ifdef" "$ifndef" "$else" "$endif" "$option"))
 
 (defconst sail2-font-lock-keywords
   `((,(regexp-opt sail2-keywords 'symbols) . font-lock-keyword-face)
-- 
cgit v1.2.3