From 9e7c3594b662f1c3102d419104da453d83eddfcd Mon Sep 17 00:00:00 2001
From: rustanleino <unknown>
Date: Tue, 15 Sep 2009 19:04:52 +0000
Subject: Dafny:  Added axioms for division and modulo. Dafny:  Make use of
 function preconditions in function well-definedness checks. Chalice:  Changed
 old "install" to current "reorder" keyword in Emacs mode.

---
 Util/Emacs/chalice-mode.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Util/Emacs')

diff --git a/Util/Emacs/chalice-mode.el b/Util/Emacs/chalice-mode.el
index 7a6b6d4c..dc3d469c 100644
--- a/Util/Emacs/chalice-mode.el
+++ b/Util/Emacs/chalice-mode.el
@@ -38,8 +38,8 @@
         "above" "acc" "acquire" "and" "assert" "assigned" "assume"
         "below" "between" "call" "credit"
         "downgrade" "else" "eval" "exists" "fold" "forall" "fork" "free" "havoc" "holds"
-        "if" "in" "install" "ite" "join" "lock" "lockbottom" "maxlock" "module" "new" "nil"
-        "old" "rd" "receive" "release" "result" "send" "share"
+        "if" "in" "ite" "join" "lock" "lockbottom" "maxlock" "module" "new" "nil"
+        "old" "rd" "receive" "release" "reorder" "result" "send" "share"
         "this" "unfold" "unfolding" "unshare" "while"
         "false" "true" "null")) . font-lock-keyword-face)
    `(,(chalice-regexp-opt '("bool" "int" "seq" "token")) . font-lock-type-face)
-- 
cgit v1.2.3