aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2001-07-09 15:36:59 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2001-07-09 15:36:59 +0000
commit1230ca4d4bddbd2b936203b0deb8ed8b7cdb0090 (patch)
treeb28fb4f1907ada2ab7a7890454c2904c94cdc949
parentb95af8adbc9b5d7b12ad331a1447871e331e6823 (diff)
Clean-up compile
-rw-r--r--generic/pg-user.el3
-rw-r--r--generic/pg-xml.el5
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