diff options
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 |