From ba2f03865ef50975d5ac2b0261d93fbe4b4eb837 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 1 Dec 2009 10:02:10 +0000
Subject: proof-splice-separator -> mapconcat builtin

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

(limited to 'generic/proof-menu.el')

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 10a70204..9b7271f5 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -641,7 +641,7 @@ that function defined is not already bound.
 This function defines a function and returns a menu entry
 suitable for adding to the proof assistant menu."
   (let* ((menunames	(split-string (downcase menuname)))
-	 (menuname-sym  (proof-sym (proof-splice-separator "-" menunames)))
+	 (menuname-sym  (proof-sym (mapconcat 'identity menunames "-")))
 	 (menu-fn	menuname-sym) (i 1))
     (while (and new (fboundp menu-fn))
       (setq menu-fn (intern (concat (symbol-name menuname-sym)
-- 
cgit v1.2.3