From 87cbe4be0506bd30df76a5640135fe8ccff08cc1 Mon Sep 17 00:00:00 2001 From: Bryan Parno Date: Thu, 12 Dec 2013 11:34:33 -0800 Subject: Fixed emacs coloring to not color things that are only substrings of symbols Patch provided by Jay Lorch. --- Util/Emacs/dafny-mode.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Util') diff --git a/Util/Emacs/dafny-mode.el b/Util/Emacs/dafny-mode.el index 2fe109f5..204dec45 100644 --- a/Util/Emacs/dafny-mode.el +++ b/Util/Emacs/dafny-mode.el @@ -19,7 +19,7 @@ ;; font-lock (defun dafny-regexp-opt (l) - (concat "\\<" (concat (regexp-opt l t) "\\>"))) + (concat "\\_<" (concat (regexp-opt l t) "\\_>"))) (defconst dafny-font-lock-keywords-1 (list -- cgit v1.2.3