Commit 57f0aaaf authored by François Bobot's avatar François Bobot Committed by Guillaume Melquiond

[emacs mode] add `\\'` which indicates the end of the file name.

   Otherwise strangely it could match all the `*.ml` ocaml files.
parent a037e140
;; why3.el - GNU Emacs mode for Why3
(defvar why3-mode-hook nil)
......@@ -15,7 +14,7 @@
(setq auto-mode-alist
(append
'(("\\.\\(why\\|mlw\\)" . why3-mode))
'(("\\.\\(why\\|mlw\\)\\'" . why3-mode))
auto-mode-alist))
;; font-lock
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment