From a48ad2338c6f4f162f89c50000d223a1b8a378b7 Mon Sep 17 00:00:00 2001
From: Rustan Leino <leino@microsoft.com>
Date: Wed, 4 Jan 2012 15:08:06 -0800
Subject: Dafny: Start of new refinement features -- clean out old ones

---
 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 89974290..3811e2c0 100644
--- a/Util/Emacs/dafny-mode.el
+++ b/Util/Emacs/dafny-mode.el
@@ -31,7 +31,7 @@
 
    `(,(dafny-regexp-opt '(
         "class" "datatype" "type" "function" "ghost" "var" "method" "constructor" "unlimited"
-        "module" "imports" "static" "refines" "replaces" "by"
+        "module" "imports" "static" "refines"
         "returns" "requires" "ensures" "modifies" "reads" "free"
         "invariant" "decreases"
         )) . font-lock-builtin-face)
-- 
cgit v1.2.3