From d5c771138a3b2ce753f458396d82eef9a4557e20 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Tue, 13 Feb 2018 15:27:13 +0100
Subject: coqdev.el: fix "compilate"-command typo

---
 dev/tools/coqdev.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/tools/coqdev.el b/dev/tools/coqdev.el
index 01334690ce..4252458cdf 100644
--- a/dev/tools/coqdev.el
+++ b/dev/tools/coqdev.el
@@ -37,7 +37,7 @@
     (when dir (expand-file-name dir))))
 
 (defun coqdev-setup-compile-command ()
-  "Setup `compilate-command' for Coq development."
+  "Setup `compile-command' for Coq development."
   (let ((dir (coqdev-default-directory)))
     (when dir (setq-local compile-command (concat "make -C " (shell-quote-argument dir))))))
 (add-hook 'hack-local-variables-hook #'coqdev-setup-compile-command)
-- 
cgit v1.2.3