From 12d6e92b5cac0ea1fda6f8f782067afe49b263ee Mon Sep 17 00:00:00 2001 From: Pierre-Yves Strub Date: Tue, 21 Feb 2017 23:41:44 +0100 Subject: [ec mode]: update keywords --- easycrypt/easycrypt.el | 1 - 1 file changed, 1 deletion(-) (limited to 'easycrypt/easycrypt.el') diff --git a/easycrypt/easycrypt.el b/easycrypt/easycrypt.el index ecea9744..017b2563 100644 --- a/easycrypt/easycrypt.el +++ b/easycrypt/easycrypt.el @@ -61,7 +61,6 @@ this list are strings." ;; -------------------------------------------------------------------- (defun easycrypt-prog-args () - (message "%s" easycrypt-load-path) (append easycrypt-prog-args (easycrypt-include-options))) ;; -------------------------------------------------------------------- -- cgit v1.2.3