From 3f9ba5e4523f217613336644ca6530990fcf74a3 Mon Sep 17 00:00:00 2001 From: Mario Rodas Date: Mon, 19 Jun 2017 22:13:57 -0500 Subject: Fix easycrypt automode regexp Without the string-end regexp matches all the file names which match the regexp `.eca?`. --- generic/proof-site.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'generic') diff --git a/generic/proof-site.el b/generic/proof-site.el index 17ca325c..df17229d 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -39,7 +39,7 @@ (isar "Isabelle" "thy") (coq "Coq" "v" nil (".vo" ".glob")) - (easycrypt "EasyCrypt" "ec" ".*\\.eca?") + (easycrypt "EasyCrypt" "ec" "\\.eca?\\'") ;; Obscure instances or conflict with other Emacs modes. -- cgit v1.2.3