diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2001-07-09 15:36:59 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2001-07-09 15:36:59 +0000 |
commit | 1230ca4d4bddbd2b936203b0deb8ed8b7cdb0090 (patch) | |
tree | b28fb4f1907ada2ab7a7890454c2904c94cdc949 | |
parent | b95af8adbc9b5d7b12ad331a1447871e331e6823 (diff) |
Clean-up compile
-rw-r--r-- | generic/pg-user.el | 3 | ||||
-rw-r--r-- | generic/pg-xml.el | 5 |
2 files changed, 6 insertions, 2 deletions
diff --git a/generic/pg-user.el b/generic/pg-user.el index 3557a7a9..fbc8464f 100644 --- a/generic/pg-user.el +++ b/generic/pg-user.el @@ -8,10 +8,11 @@ ;; ;; +(require 'proof-config) ; for proof-follow-mode ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; -;; First a couple of helper functions +;; first a couple of helper functions ;; (defmacro proof-maybe-save-point (&rest body) diff --git a/generic/pg-xml.el b/generic/pg-xml.el index e88c3409..9bd2559f 100644 --- a/generic/pg-xml.el +++ b/generic/pg-xml.el @@ -49,6 +49,9 @@ '(xml) "List of special elements which don't require closing.") +(defvar xmlparse nil + "Used to store parse result.") + (defun pg-xml-add-text (text) "If TEXT is non empty, add it to subtree at top of `xmlparse'." (unless (string-equal text "") @@ -68,7 +71,7 @@ is (goto-char (point-min)) (let ((xmlparse nil) (pos (point)) - openelts attrs elt) + openelts elt) (unless (looking-at pg-xml-start-open-elt-regexp) (warn "pg-xml-parse-buffer: Junk at start of document: %s" (buffer-substring |