From d5606621b8146a258557c4824405c8331e4c8691 Mon Sep 17 00:00:00 2001 From: Unknown Date: Mon, 11 Jun 2012 14:24:51 -0700 Subject: Dafny: removed support for the old keyword "unlimited" (all functions are limited) --- Util/Emacs/dafny-mode.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Util/Emacs/dafny-mode.el') diff --git a/Util/Emacs/dafny-mode.el b/Util/Emacs/dafny-mode.el index f16b09b5..05f06b41 100644 --- a/Util/Emacs/dafny-mode.el +++ b/Util/Emacs/dafny-mode.el @@ -30,7 +30,7 @@ ]\\)*" . font-lock-comment-face) `(,(dafny-regexp-opt '( - "class" "datatype" "codatatype" "type" "function" "predicate" "ghost" "var" "method" "constructor" "unlimited" + "class" "datatype" "codatatype" "type" "function" "predicate" "ghost" "var" "method" "constructor" "module" "imports" "static" "refines" "returns" "requires" "ensures" "modifies" "reads" "free" "invariant" "decreases" -- cgit v1.2.3