From ee91c3f2f1dd5f2f731db385134f38726b37b7ca Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 10 Sep 2009 23:04:40 +0000
Subject: Experimental changes to queue several commands at once and to allow
 pre-processing of commands when they're queued from script

---
 generic/pg-pbrpm.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'generic/pg-pbrpm.el')

diff --git a/generic/pg-pbrpm.el b/generic/pg-pbrpm.el
index 76fb230d..9bbcc2ab 100644
--- a/generic/pg-pbrpm.el
+++ b/generic/pg-pbrpm.el
@@ -336,7 +336,8 @@ The prover command is processed via pg-pbrpm-run-command."
        (span-set-property span 'type 'pbp)
        (span-set-property span 'cmd command)
        (proof-start-queue (proof-unprocessed-begin) (point)
-			  (list (list span command 'proof-done-advancing))))))
+			  (list (list span (list command)
+				      'proof-done-advancing))))))
 
 ;;--------------------------------------------------------------------------;;
 ;; Click Informations extractors
-- 
cgit v1.2.3