diff options
| -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")) |