From e81b4fd1d8b384b7798b3d85048672d151dc86e2 Mon Sep 17 00:00:00 2001
From: rustanleino <unknown>
Date: Sat, 9 Oct 2010 07:00:58 +0000
Subject: Chalice: * extended the cheap type inference to also consider "in"
 expressions and quantifiers * added some refinement keywords to the Emacs
 mode for Chalice

---
 Util/Emacs/chalice-mode.el | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Util/Emacs')

diff --git a/Util/Emacs/chalice-mode.el b/Util/Emacs/chalice-mode.el
index 34a95a87..0798753e 100644
--- a/Util/Emacs/chalice-mode.el
+++ b/Util/Emacs/chalice-mode.el
@@ -33,6 +33,7 @@
         "class" "ghost" "var" "const" "external" "function" "method"
         "predicate" "returns" "requires" "ensures" "lockchange"
         "invariant" "channel" "condition" "where"
+        "refines" "replaces" "by" "transforms"
         )) . font-lock-builtin-face)
    `(,(chalice-regexp-opt '(
         "above" "acc" "acquire" "and" "assert" "assigned" "assume"
-- 
cgit v1.2.3