Fix a few compiler warnings

1 files changed, 13 insertions, 6 deletions

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 8dc26f9a..d7a05cf4 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -10,11 +10,22 @@
 
 (require 'proof-menu)
 (require 'span)
-(require 'pg-goals)			; associated output
+
+;;
+;; Internal variables used in sub-modules
+;;
+
+;; A raw record of the last output from the proof system
+(defvar proof-shell-last-output nil
+  "A record of the last string seen from the proof system.")
+
+
+;; sub-modules
+
 (require 'pg-response)			; buffers for goals/response
+(require 'pg-goals)			; associated output
 
 ;; Nuke some byte compiler warnings.
-
 (eval-when-compile
   (require 'comint)
   (require 'font-lock))
@@ -78,10 +89,6 @@ See the functions `proof-start-queue' and `proof-exec-loop'.")
   "A record of the last prompt seen from the proof system.
 This is the string matched by `proof-shell-annotated-prompt-regexp'.")
 
-;; A raw record of the last output from the proof system
-(defvar proof-shell-last-output nil
-  "A record of the last string seen from the proof system.")
-
 ;; A flag indicating the type of thing proof-shell-last-output
 (defvar proof-shell-last-output-kind nil
   "A symbol denoting the type of the last output string from the proof system.