From 1230ca4d4bddbd2b936203b0deb8ed8b7cdb0090 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 9 Jul 2001 15:36:59 +0000
Subject: Clean-up compile

---
 generic/pg-user.el | 3 ++-
 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 
-- 
cgit v1.2.3