diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/pg-pgip.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/generic/pg-pgip.el b/generic/pg-pgip.el index 7842063d..61a30f2c 100644 --- a/generic/pg-pgip.el +++ b/generic/pg-pgip.el @@ -316,7 +316,9 @@ (defun pg-issue-pgip (pgip &optional block) (proof-shell-invisible-command (funcall proof-shell-issue-pgip-cmd - (format "<pgip>%s</pgip>" pgip)) block)) + ;; FIXME: ought to generate sequence numbers and + ;; engine ids here. + (format "<pgip class=\"pa\">%s</pgip>" pgip)) block)) ;;;###autoload (defun pg-pgip-askprefs () |