From cc63641cd0211b2f585330c9d65208665671991b Mon Sep 17 00:00:00 2001
From: rustanleino <unknown>
Date: Tue, 16 Mar 2010 02:21:34 +0000
Subject: Dafny: * Beginning of module implementation * Changed "class"
 modifier (for functions and methods) to "static"

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

(limited to 'Util/Emacs')

diff --git a/Util/Emacs/dafny-mode.el b/Util/Emacs/dafny-mode.el
index 3b10c560..da7e59e7 100644
--- a/Util/Emacs/dafny-mode.el
+++ b/Util/Emacs/dafny-mode.el
@@ -31,6 +31,7 @@
 
    `(,(dafny-regexp-opt '(
         "class" "datatype" "function" "frame" "ghost" "var" "method"
+        "module" "imports" "static"
         "returns" "requires" "ensures" "modifies" "reads" "free"
         "invariant" "decreases"
         )) . font-lock-builtin-face)
-- 
cgit v1.2.3