From 1827f253e272b27f40a6614ec632e423aa3475a8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 30 Mar 2004 12:00:35 +0000
Subject: Add proof-assistant-symbol to (spurious) error msg

---
 generic/proof-easy-config.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic')

diff --git a/generic/proof-easy-config.el b/generic/proof-easy-config.el
index 97855cd4..5c37737e 100644
--- a/generic/proof-easy-config.el
+++ b/generic/proof-easy-config.el
@@ -63,7 +63,7 @@
 	  (not (equal proof-assistant name)))
      (and (boundp 'proof-assistant-symbol) proof-assistant-symbol
 	  (not (eq proof-assistant-symbol sym))))
-    (error "proof-easy-config: Proof General is already in use for a different prover!"))
+    (error "proof-easy-config: Proof General is already in use for a different prover! %s" proof-assistant-symbol))
    (t
     ;; Setting these here is nice for testing: no need to get
     ;; proof-assistant-table right first.
-- 
cgit v1.2.3