diff options
| author | Hendrik Tews | 2016-10-28 10:19:46 +0200 |
|---|---|---|
| committer | Hendrik Tews | 2016-10-28 10:19:46 +0200 |
| commit | 8c5d463e71f4b0966359cded7efb051e8e4487f7 (patch) | |
| tree | 8d98a6b1cf5da79e3645bf43bc9b2176a3ef9f5b /coq | |
| parent | 8851ccfc7ae8d439b45b56053cf93462f948d85d (diff) | |
fix typo in last commit
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/coq-par-compile.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq-par-compile.el b/coq/coq-par-compile.el index 56539414..0cc8c3e5 100644 --- a/coq/coq-par-compile.el +++ b/coq/coq-par-compile.el @@ -1369,7 +1369,7 @@ does the error checking/reporting for (message "%s %s" (get (car err) 'error-message) (cdr err))) (coq-unclassifiable-version (coq-par-emergency-cleanup) - (if (equal (cdr err) "trunkk") + (if (equal (cdr err) "trunk") (message (concat "your Coq version \"trunk\" is too unspecific for " "Proof General; please customize coq-pinned-version")) |