Fix compile warnings

2 files changed, 8 insertions, 2 deletions

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 57216f09..9bc726b1 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -20,6 +20,10 @@
 (require 'proof-utils)			; proof-utils macros
 (require 'proof-syntax)			; utils for manipulating syntax
 
+(eval-when-compile
+  (defvar proof-mode-menu nil)
+  (defvar proof-assistant-menu nil))
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;
 ;;  PRIVATE VARIABLES
@@ -51,7 +55,7 @@ kill buffer hook.  This variable is used when buffer-file-name is nil.")
 
 (defun proof-next-element-count (idiom)
   "Return count for next element of type IDIOM.
-This uses and updates `proof-element-counters'."
+This uses the size of the hash table for IDIOM."
   (let ((tbl  (cdr-safe (assq idiom pg-script-portions))))
     (if tbl (1+ (hash-table-count tbl)) 1)))
 
@@ -228,7 +232,6 @@ Also clear list of script portions."
   (setq proof-overlay-arrow (make-marker))
   (setq overlay-arrow-position proof-overlay-arrow)
   (setq proof-last-theorem-dependencies nil)
-  (setq proof-element-counters nil)
   (pg-clear-script-portions)
   (pg-clear-input-ring))
 
diff --git a/generic/proof-site.el b/generic/proof-site.el
index 2bbb01f8..2270eb4e 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -128,6 +128,9 @@ You can use customize to set this variable."
 (require 'pg-vars)
 (require 'proof-autoloads)
 
+(eval-when-compile
+  (defvar Info-dir-contents nil))
+
 ;; Add the info directory to the Info path
 (if (file-exists-p proof-info-directory) ; for safety
     (if (and (boundp 'Info-directory-list) Info-directory-list)