diff options
Diffstat (limited to 'plastic/plastic.el')
-rw-r--r-- | plastic/plastic.el | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/plastic/plastic.el b/plastic/plastic.el index 546c9acb..047e20fb 100644 --- a/plastic/plastic.el +++ b/plastic/plastic.el @@ -228,7 +228,8 @@ Given is the first SPAN which needs to be undone." (if (= (aref string i) proof-terminal-char) (setq ct (+ 1 ct))) (setq i (+ 1 i))))) (setq span (next-span span 'type))) - (concat plastic-lit-string " &S Undo x" (int-to-string ct) proof-terminal-string))) + (list (concat plastic-lit-string + " &S Undo x" (int-to-string ct) proof-terminal-string)))) (defun plastic-goal-command-p (span) "Decide whether argument is a goal or not" ;; NEED CHG. @@ -266,7 +267,9 @@ Given is the first SPAN which needs to be undone." (setq span (next-span span 'type)) ) - (concat plastic-lit-string " &S Undo x" (int-to-string spans) proof-terminal-string) )) + (list (concat plastic-lit-string + " &S Undo x" (int-to-string spans) + proof-terminal-string)))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; Other stuff which is required to customise script management ;; |