From 63a3cd72fb7c285fcc110981dfa5a77b808ff01d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Aug 2002 00:10:00 +0000
Subject: Fix calls on proof-defshortcut

---
 plastic/plastic.el | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

(limited to 'plastic')

diff --git a/plastic/plastic.el b/plastic/plastic.el
index 6ceb3975..5b033daf 100644
--- a/plastic/plastic.el
+++ b/plastic/plastic.el
@@ -290,12 +290,14 @@ Given is the first SPAN which needs to be undone."
 ;;   Commands specific to plastic                                      ;;
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
-(proof-defshortcut plastic-Intros 
-		   (concat plastic-lit-string "Intros ")  ?i)
-(proof-defshortcut plastic-Refine
-		   (concat plastic-lit-string "Refine ")  ?r)
-(proof-defshortcut plastic-ReturnAll
-		   (concat plastic-lit-string "ReturnAll ") ?u)
+;; da: FIXME added quoting/eval here because of macros.  Probably better
+;; to turn proof-defshortcut and co into functions.
+`(proof-defshortcut plastic-Intros 
+		   ,(concat plastic-lit-string "Intros ")  ?i)
+`(proof-defshortcut plastic-Refine
+		   ,(concat plastic-lit-string "Refine ")  ?r)
+`(proof-defshortcut plastic-ReturnAll
+		   ,(concat plastic-lit-string "ReturnAll ") ?u)
 
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-- 
cgit v1.2.3