From 2c25110ad2f5e636239ba65a2154aae79ffa253c Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 7 Dec 2018 21:53:29 +0000
Subject: Working on better flow typing for ASL

On a new branch because it's completely broken everything for now
---
 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 e0081fb6..b7998357 100644
--- a/editors/sail2-mode.el
+++ b/editors/sail2-mode.el
@@ -12,7 +12,7 @@
     "mapping" "where" "with"))
 
 (defconst sail2-kinds
-  '("Int" "Type" "Order" "inc" "dec"
+  '("Int" "Type" "Order" "Bool" "inc" "dec"
     "barr" "depend" "rreg" "wreg" "rmem" "rmemt" "wmv" "wmvt" "eamem" "wmem"
     "exmem" "undef" "unspec" "nondet" "escape" "configuration"))
 
-- 
cgit v1.2.3