diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-08-28 17:19:10 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-08-28 17:19:10 +0000 |
commit | 141578789ed742060d8915a28f343e080c5eee95 (patch) | |
tree | 9ae7049627b272484fa04b38179bdf5e1db8c351 /generic/pg-pgip.el | |
parent | f9edafd5b576460b92ff4dd493f7aec34a769c86 (diff) |
Fix compile warnings
Diffstat (limited to 'generic/pg-pgip.el')
-rw-r--r-- | generic/pg-pgip.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/generic/pg-pgip.el b/generic/pg-pgip.el index a2a57949..8987b2a4 100644 --- a/generic/pg-pgip.el +++ b/generic/pg-pgip.el @@ -46,8 +46,8 @@ The list PGIPS may contain one or more PGIP packets, whose contents are processe ;; PGIP processing is split into two steps: ;; (1) process each command, altering internal data structures ;; (2) post-process for each command type, affecting external interface (menus, etc). - (mapcar 'pg-pgip-post-process - (reduce 'union (mapcar 'pg-pgip-process-pgip pgips)))) + (mapc 'pg-pgip-post-process + (reduce 'union (mapcar 'pg-pgip-process-pgip pgips)))) ;; TODO: use id's and sequence numbers to reconstruct streams of messages. (defvar pg-pgip-last-seen-id nil) @@ -246,9 +246,9 @@ Return a symbol representing the PGIP command processed, or nil." (adjoin objtype proof-assistant-idtables))) (cond ((or (eq opn 'setids) (eq opn 'addids)) - (mapcar (lambda (i) (intern i obarray)) idents)) + (mapc (lambda (i) (intern i obarray)) idents)) ((eq opn 'delids) - (mapcar (lambda (i) (unintern i obarray)) idents)) + (mapc (lambda (i) (unintern i obarray)) idents)) (t (pg-pgip-error "Pg-pgip-process-ids: called on wrong node %s" (xml-node-name node)))))))) |