diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 23:04:40 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 23:04:40 +0000 |
commit | ee91c3f2f1dd5f2f731db385134f38726b37b7ca (patch) | |
tree | d9cb381181a462fdbfab57f7e1f0d4e67ce567b2 /generic/pg-pbrpm.el | |
parent | a060c0dc046e526f8bf88b512e3c7c27e93421f8 (diff) |
Experimental changes to queue several commands at once and to allow pre-processing of commands when they're queued from script
Diffstat (limited to 'generic/pg-pbrpm.el')
-rw-r--r-- | generic/pg-pbrpm.el | 3 |
1 files changed, 2 insertions, 1 deletions
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 |