minor removal of concat in Emacs mode

Use an optional 'words argument to regexp-opt instead of explicitly surrounding the result with special chars.

minor removal of concat in Emacs mode
Use an optional 'words argument to regexp-opt instead of explicitly surrounding the result with special chars.
669cb9f0 · Piotr Trojanek · Guillaume Melquiond · bb9003c3 · 669cb9f0
Commit 669cb9f0 authored Jul 03, 2015 by Piotr Trojanek Committed by Guillaume Melquiond Jun 10, 2016
--- a/share/emacs/why3.el
+++ b/share/emacs/why3.el
@@ -21,7 +21,7 @@
 ;; font-lock

 (defun why3-regexp-opt (l)
-  (concat "\\<" (concat (regexp-opt l t) "\\>")))
+  (regexp-opt l 'words))

 (defconst why3-font-lock-keywords-1
  (list
@@ -175,4 +175,3 @@
  (run-hooks 'why3-mode-hook))

 (provide 'why3)
-