From 172554c51fad4092f2b4e52a921ad0e86fa67ca6 Mon Sep 17 00:00:00 2001
From: Rustan Leino <unknown>
Date: Wed, 6 Mar 2013 15:09:04 -0800
Subject: Renamed "parallel" statement to "forall" statement, and made the
 parentheses around the bound variables optional.

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

(limited to 'Util/Emacs')

diff --git a/Util/Emacs/dafny-mode.el b/Util/Emacs/dafny-mode.el
index d1bdcf12..b043150c 100644
--- a/Util/Emacs/dafny-mode.el
+++ b/Util/Emacs/dafny-mode.el
@@ -40,7 +40,7 @@
    `(,(dafny-regexp-opt '(
         "assert" "assume" "break" "choose" "then" "else" "if" "label" "return" "yield"
         "while" "print" "where"
-        "old" "forall" "exists" "new" "parallel" "calc" "in" "this" "fresh"
+        "old" "forall" "exists" "new" "calc" "in" "this" "fresh"
         "match" "case" "false" "true" "null")) . font-lock-keyword-face)
    `(,(dafny-regexp-opt '("array" "array2" "array3" "bool" "multiset" "map" "nat" "int" "object" "set" "seq")) . font-lock-type-face)
    )
-- 
cgit v1.2.3