From 138cee5d1fce0bbe5eced947edee0c980bf65dab Mon Sep 17 00:00:00 2001 From: Rustan Leino Date: Wed, 19 Oct 2011 14:12:17 -0700 Subject: Jennisys: added "ensures" to emacs mode --- Util/Emacs/jennisys-mode.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Util') diff --git a/Util/Emacs/jennisys-mode.el b/Util/Emacs/jennisys-mode.el index b17cdeff..d8f20a31 100644 --- a/Util/Emacs/jennisys-mode.el +++ b/Util/Emacs/jennisys-mode.el @@ -32,7 +32,7 @@ `(,(jennisys-regexp-opt '( "interface" "datamodel" "code" "var" "constructor" "method" - "frame" "invariant" "returns" "requires" + "frame" "invariant" "returns" "requires" "ensures" )) . font-lock-builtin-face) `(,(jennisys-regexp-opt '( "if" "then" "else" -- cgit v1.2.3